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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490820-1751378707/watcher-4490820-1751378707 -o /tmp/evaluation-result-4490820-1751378707/solver-4490820-1751378707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751373486-52975 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4490820-1751378707.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=53752, runsolver pid=53749

[startup+0.100068 s]*
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124458128/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=21212 memory=6784 CPUtime=0.07 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 936 0 0 0 7 0 0 0 20 0 1 0 53549898 21721088 1696 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 5303 1696 864 2593 0 2196 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28196 KiB
Current children cumulated memory: 11264 KiB

[startup+0.214226 s]*
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124458128/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=25084 memory=10752 CPUtime=0.18 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 1929 0 0 0 18 0 0 0 20 0 1 0 53549898 25686016 2688 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 6271 2688 864 2593 0 3164 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32068 KiB
Current children cumulated memory: 15232 KiB

[startup+0.313584 s]*
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124454348/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=28808 memory=14336 CPUtime=0.28 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 2839 0 0 0 28 0 0 0 20 0 1 0 53549898 29499392 3584 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 7202 3584 864 2593 0 4095 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 35792 KiB
Current children cumulated memory: 18816 KiB

[startup+0.700495 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124444772/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=54488 memory=38112 CPUtime=0.66 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 8565 0 0 0 64 2 0 0 20 0 1 0 53549898 55795712 9528 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 13622 9528 896 2593 0 10515 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61472 KiB
Current children cumulated memory: 42592 KiB

[startup+1.50054 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124397316/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=133488 memory=110356 CPUtime=1.45 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 23861 0 0 0 139 6 0 0 20 0 1 0 53549898 136691712 27589 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 33372 27589 960 2593 0 30265 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 114836 KiB

[startup+3.11362 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124329224/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=161208 memory=137312 CPUtime=3.06 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 26032 0 0 0 299 7 0 0 20 0 1 0 53549898 165076992 34328 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 40302 34328 960 2593 0 37195 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 141792 KiB

[startup+6.30053 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 53756
/proc/meminfo: memFree=124288772/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=189676 memory=166008 CPUtime=6.23 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 30015 0 0 0 615 8 0 0 20 0 1 0 53549898 194228224 41502 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 47419 41502 992 2593 0 44312 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 196660 KiB
Current children cumulated memory: 170488 KiB

[startup+12.7005 s]
/proc/loadavg: 4.20 4.13 4.10 5/259 53756
/proc/meminfo: memFree=124274072/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=198084 memory=175480 CPUtime=12.62 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 30856 0 0 0 1253 9 0 0 20 0 1 0 53549898 202838016 43870 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 49521 43870 992 2593 0 46414 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 205068 KiB
Current children cumulated memory: 179960 KiB

[startup+25.5005 s]
/proc/loadavg: 4.23 4.14 4.10 5/259 53756
/proc/meminfo: memFree=124253780/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=198084 memory=175608 CPUtime=25.38 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 30913 0 0 0 2529 9 0 0 20 0 1 0 53549898 202838016 43902 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 49521 43902 992 2593 0 46414 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 205068 KiB
Current children cumulated memory: 180088 KiB

[startup+51.114 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 53757
/proc/meminfo: memFree=124197320/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53755/stat : 53755 (timeout) S 53752 53755 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53549897 2723840 352 18446744073709551615 94876857958400 94876857974913 140724856601536 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94876857989680 94876857991768 94876877963264 140724856609174 140724856609314 140724856609314 140724856614887 0
/proc/53755/statm: 665 352 352 5 0 90 0
[pid=53756] ppid=53755 vsize=208572 memory=186708 CPUtime=50.9 cores=0,2
/proc/53756/stat : 53756 (CASHWMaxSAT-Dis) R 53755 53755 52965 0 -1 4194304 32185 0 0 0 5081 9 0 0 20 0 1 0 53549898 213577728 46677 18446744073709551615 4198400 14817773 140723083050224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31260672 140723083053468 140723083053595 140723083053595 140723083059168 0
/proc/53756/statm: 52143 46677 992 2593 0 49036 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 215556 KiB
Current children cumulated memory: 191188 KiB

[startup+102.301 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 53759
/proc/meminfo: memFree=124070640/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 251 104 0 0 0 0 0 0 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53755] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/258 54524
/proc/meminfo: memFree=124394000/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2256.97 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192523 0 0 0 225474 223 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.12 5/260 54532
/proc/meminfo: memFree=124367868/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2316.75 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 231447 228 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/259 54534
/proc/meminfo: memFree=124295772/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2376.54 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 237421 233 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3570.81 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

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

# cumulated CPU time of all completed processes:  user=3581.96 s, system=2.60941 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.11 5/259 54534
/proc/meminfo: memFree=124294024/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2378.25 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 237592 233 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.11 5/259 54535
/proc/meminfo: memFree=124290244/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2384.61 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 238227 234 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3578.88 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.11 5/259 54535
/proc/meminfo: memFree=124290496/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2387.8 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 238546 234 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3582.07 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.12 4.11 5/259 54535
/proc/meminfo: memFree=124275256/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2389.39 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 238705 234 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.12 4.11 5/259 54535
/proc/meminfo: memFree=124275256/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2389.79 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 238745 234 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.12 4.11 5/259 54535
/proc/meminfo: memFree=124274752/131382116 swapFree=33010160/33010684
[pid=53752] ppid=53749 vsize=4324 memory=3072 CPUtime=1194.27 cores=0,2
/proc/53752/stat : 53752 (Hybrid-CASHWMax) S 53749 53752 52965 0 -1 4194304 285 38907 0 0 0 0 119404 23 20 0 1 0 53549895 4427776 768 18446744073709551615 94288761573376 94288762467909 140730565035040 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94288762706960 94288762754704 94288774410240 140730565036375 140730565036529 140730565036529 140730565042131 0
/proc/53752/statm: 1081 768 704 219 0 143 0
[pid=53814] ppid=53752 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/53814/stat : 53814 (timeout) S 53752 53814 52965 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53669699 2723840 352 18446744073709551615 94318343962624 94318343979137 140735054611872 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94318343993904 94318343995992 94318348165120 140735054616966 140735054617122 140735054617122 140735054622695 0
/proc/53814/statm: 665 352 352 5 0 90 0
[pid=53815] ppid=53814 vsize=577868 memory=553024 CPUtime=2390.2 cores=0,2
/proc/53815/stat : 53815 (ExactPR-S) R 53814 53814 52965 0 -1 4194304 192545 0 0 0 238786 234 0 0 20 0 1 0 53669700 591736832 138256 18446744073709551615 94158746218496 94158755518533 140723276727808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94158757304640 94158757343720 94158769446912 140723276732830 140723276732967 140723276732967 140723276738540 0
/proc/53815/statm: 144467 138256 3552 2271 0 139105 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 584852 KiB
Current children cumulated memory: 557504 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3584.56
CPU user time (s): 3581.96
CPU system time (s): 2.60941
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 686252
Max. memory (cumulated for all children) (KiB): 642980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.96
system time used= 2.60941
maximum resident set size= 638500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1371
involuntary context switches= 8231


# summary of solver processes directly reported to runsolver:
#   pid: 53752
#   total CPU time (s): 3584.56
#   total CPU user time (s): 3581.96
#   total CPU system time (s): 2.60941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2061 second user time and 40.2435 second system time

The end