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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502396-1751428313/watcher-4502396-1751428313 -o /tmp/evaluation-result-4502396-1751428313/solver-4502396-1751428313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751428302-57262 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4502396-1751428313.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10007 s]*
/proc/loadavg: 1.48 2.17 2.81 4/254 57941
/proc/meminfo: memFree=129578324/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=22208 memory=7808 CPUtime=0.07 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 1174 0 0 0 7 0 0 0 20 0 1 0 58510143 22740992 1952 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 5552 1952 864 2593 0 2445 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 12288 KiB

[startup+0.214894 s]*
/proc/loadavg: 1.48 2.17 2.81 5/258 57949
/proc/meminfo: memFree=129570912/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=30420 memory=15284 CPUtime=0.19 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 3340 0 0 0 18 1 0 0 20 0 1 0 58510143 31150080 3821 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 7605 3821 896 2593 0 4498 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37404 KiB
Current children cumulated memory: 19764 KiB

[startup+0.314565 s]*
/proc/loadavg: 1.48 2.17 2.81 5/258 57949
/proc/meminfo: memFree=129555036/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=39696 memory=23984 CPUtime=0.29 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 5774 0 0 0 27 2 0 0 20 0 1 0 58510143 40648704 5996 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 9924 5996 960 2593 0 6817 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46680 KiB
Current children cumulated memory: 28464 KiB

[startup+0.700411 s]
/proc/loadavg: 1.48 2.17 2.81 5/257 57955
/proc/meminfo: memFree=129556356/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=44496 memory=28444 CPUtime=0.65 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 6543 0 0 0 63 2 0 0 20 0 1 0 58510143 45563904 7111 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 11124 7111 960 2593 0 8017 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 51480 KiB
Current children cumulated memory: 32924 KiB

[startup+1.50051 s]
/proc/loadavg: 1.68 2.20 2.82 5/254 57971
/proc/meminfo: memFree=129560332/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=55436 memory=39656 CPUtime=1.45 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 10431 0 0 0 142 3 0 0 20 0 1 0 58510143 56766464 9882 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 13859 9914 960 2593 0 10752 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 62420 KiB
Current children cumulated memory: 44136 KiB

[startup+3.11368 s]
/proc/loadavg: 1.68 2.20 2.82 6/261 57983
/proc/meminfo: memFree=129358908/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=84600 memory=66960 CPUtime=3.06 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 17901 0 0 0 300 6 0 0 20 0 1 0 58510143 86630400 16740 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 21150 16740 992 2593 0 18043 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 71440 KiB

[startup+6.30042 s]
/proc/loadavg: 1.95 2.25 2.83 6/261 57983
/proc/meminfo: memFree=128423340/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=84600 memory=69012 CPUtime=6.23 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 17907 0 0 0 617 6 0 0 20 0 1 0 58510143 86630400 17253 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 21150 17253 992 2593 0 18043 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 73492 KiB

[startup+12.7005 s]
/proc/loadavg: 2.12 2.28 2.84 6/261 57983
/proc/meminfo: memFree=127289528/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=84600 memory=69012 CPUtime=12.61 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 17907 0 0 0 1255 6 0 0 20 0 1 0 58510143 86630400 17253 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 21150 17253 992 2593 0 18043 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 73492 KiB

[startup+25.5005 s]
/proc/loadavg: 2.41 2.33 2.85 6/261 57984
/proc/meminfo: memFree=126646540/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=84600 memory=69012 CPUtime=25.37 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 17909 0 0 0 2530 7 0 0 20 0 1 0 58510143 86630400 17253 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 21150 17253 992 2593 0 18043 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 91584 KiB
Current children cumulated memory: 73492 KiB

[startup+51.1137 s]
/proc/loadavg: 3.12 2.51 2.89 6/261 57984
/proc/meminfo: memFree=125753132/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=57934] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/57934/stat : 57934 (timeout) S 57924 57934 57250 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 58510143 2723840 352 18446744073709551615 94671579676672 94671579693185 140733476018064 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94671579707952 94671579710040 94671599693824 140733476026774 140733476026914 140733476026914 140733476032487 0
/proc/57934/statm: 665 352 352 5 0 90 0
[pid=57936] ppid=57934 vsize=81868 memory=66584 CPUtime=50.9 cores=1,3
/proc/57936/stat : 57936 (CASHWMaxSAT-Dis) R 57934 57934 57250 0 -1 4194304 19888 0 0 0 5083 7 0 0 20 0 1 0 58510143 83832832 16646 18446744073709551615 4198400 14817773 140728808262576 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 39047168 140728808266140 140728808266267 140728808266267 140728808271840 0
/proc/57936/statm: 20467 16646 992 2593 0 17360 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 88852 KiB
Current children cumulated memory: 71064 KiB

[startup+102.301 s]
/proc/loadavg: 3.69 2.76 2.96 6/259 57988
/proc/meminfo: memFree=115648144/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0

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

/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234448 CPUtime=2258.12 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69013 0 0 0 225277 535 0 0 20 0 1 0 58629944 255684608 58612 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58612 3392 2271 0 57061 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 238928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/258 58225
/proc/meminfo: memFree=122599684/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2317.94 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 231250 544 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122560008/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2377.78 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 237222 556 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

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

# cumulated CPU time of all completed processes:  user=3580.19 s, system=5.88933 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122560276/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2379.49 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 237393 556 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3573.99 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122560780/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2385.87 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 238028 559 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3580.37 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122561032/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2389.06 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 238347 559 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3583.56 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122561032/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2390.65 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 238506 559 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3595.6 s]
/proc/loadavg: 4.13 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122561032/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2391.05 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 238546 559 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122561032/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=1194.5 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 284 49016 0 0 0 0 119426 24 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
[pid=58051] ppid=57924 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/58051/stat : 58051 (timeout) S 57924 58051 57250 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 58629944 2723840 352 18446744073709551615 94773806280704 94773806297217 140724138148496 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773806311984 94773806314072 94773810737152 140724138150278 140724138150434 140724138150434 140724138156007 0
/proc/58051/statm: 665 352 352 5 0 90 0
[pid=58053] ppid=58051 vsize=249692 memory=234704 CPUtime=2391.46 cores=1,3
/proc/58053/stat : 58053 (ExactPR-S) R 58051 58051 57250 0 -1 4194304 69028 0 0 0 238587 559 0 0 20 0 1 0 58629944 255684608 58676 18446744073709551615 94828941840384 94828951140421 140727134203072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94828952926528 94828952965608 94828978880512 140727134206366 140727134206503 140727134206503 140727134212076 0
/proc/58053/statm: 62423 58676 3392 2271 0 57061 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 256676 KiB
Current children cumulated memory: 239184 KiB

[startup+3596.11 s]
/proc/loadavg: 4.13 4.14 4.15 6/259 58228
/proc/meminfo: memFree=122561032/131382120 swapFree=33010416/33010684
[pid=57924] ppid=57918 vsize=4324 memory=3072 CPUtime=3586.04 cores=1,3
/proc/57924/stat : 57924 (Hybrid-CASHWMax) S 57918 57924 57250 0 -1 4194304 404 119875 0 0 0 0 358018 586 20 0 1 0 58510140 4427776 768 18446744073709551615 94905989193728 94905990088261 140726029511168 0 0 0 2 4 65536 1 0 0 17 3 0 0 0 0 0 94905990327312 94905990375056 94906015760384 140726029515095 140726029515249 140726029515249 140726029520851 0
/proc/57924/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3586.08
CPU user time (s): 3580.19
CPU system time (s): 5.88933
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 298808
Max. memory (cumulated for all children) (KiB): 262212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.19
system time used= 5.88933
maximum resident set size= 257732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121575
page faults= 2
swaps= 0
block input operations= 184
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2059
involuntary context switches= 1396


# summary of solver processes directly reported to runsolver:
#   pid: 57924
#   total CPU time (s): 3586.08
#   total CPU user time (s): 3580.19
#   total CPU system time (s): 5.88933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5977 second user time and 35.53 second system time

The end