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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486266-1751310412/watcher-4486266-1751310412 -o /tmp/evaluation-result-4486266-1751310412/solver-4486266-1751310412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751303214-40448 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4486266-1751310412.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=41406, runsolver pid=41402

[startup+0.100069 s]*
/proc/loadavg: 4.08 4.10 4.09 4/253 41420
/proc/meminfo: memFree=128753124/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=22704 memory=8192 CPUtime=0.06 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 1284 0 0 0 6 0 0 0 20 0 1 0 46720632 23248896 2048 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 5676 2048 864 2593 0 2569 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 12672 KiB

[startup+0.213515 s]*
/proc/loadavg: 4.08 4.10 4.09 4/255 41427
/proc/meminfo: memFree=128741532/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=28220 memory=13824 CPUtime=0.18 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 2692 0 0 0 17 1 0 0 20 0 1 0 46720632 28897280 3456 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 7055 3456 864 2593 0 3948 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35204 KiB
Current children cumulated memory: 18304 KiB

[startup+0.313497 s]*
/proc/loadavg: 4.08 4.10 4.09 6/254 41432
/proc/meminfo: memFree=128733852/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=32384 memory=18048 CPUtime=0.27 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 3745 0 0 0 26 1 0 0 20 0 1 0 46720632 33161216 4512 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 8096 4512 864 2593 0 4989 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39368 KiB
Current children cumulated memory: 22528 KiB

[startup+0.700444 s]
/proc/loadavg: 4.08 4.10 4.09 6/255 41440
/proc/meminfo: memFree=128725768/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=51148 memory=36184 CPUtime=0.65 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 8889 0 0 0 61 4 0 0 20 0 1 0 46720632 52375552 9046 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 12787 9046 896 2593 0 9680 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 58132 KiB
Current children cumulated memory: 40664 KiB

[startup+1.50051 s]
/proc/loadavg: 4.08 4.10 4.09 5/252 41459
/proc/meminfo: memFree=128652132/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=91572 memory=74084 CPUtime=1.45 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 16332 0 0 0 138 7 0 0 20 0 1 0 46720632 93769728 18521 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 22893 18521 960 2593 0 19786 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 98556 KiB
Current children cumulated memory: 78564 KiB

[startup+3.11372 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 41471
/proc/meminfo: memFree=128532616/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=91804 memory=75108 CPUtime=3.05 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 16565 0 0 0 298 7 0 0 20 0 1 0 46720632 94007296 18777 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 22951 18777 992 2593 0 19844 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 98788 KiB
Current children cumulated memory: 79588 KiB

[startup+6.3005 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 41472
/proc/meminfo: memFree=128464272/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=91804 memory=75108 CPUtime=6.23 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 16569 0 0 0 616 7 0 0 20 0 1 0 46720632 94007296 18777 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 22951 18777 992 2593 0 19844 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 98788 KiB
Current children cumulated memory: 79588 KiB

[startup+12.7005 s]
/proc/loadavg: 4.15 4.12 4.09 5/253 41552
/proc/meminfo: memFree=129192320/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=92584 memory=76004 CPUtime=12.61 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 16768 0 0 0 1254 7 0 0 20 0 1 0 46720632 94806016 19001 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 23146 19001 992 2593 0 20039 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 99568 KiB
Current children cumulated memory: 80484 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 41592
/proc/meminfo: memFree=129012876/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=105704 memory=89112 CPUtime=25.36 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) D 41412 41412 40438 0 -1 4194304 18517 0 0 0 2529 7 0 0 20 0 1 0 46720632 108240896 22278 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 1 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 26426 22278 992 2593 0 23319 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 112688 KiB
Current children cumulated memory: 93592 KiB

[startup+51.1139 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 41592
/proc/meminfo: memFree=128986028/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41412/stat : 41412 (timeout) S 41406 41412 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46720631 2723840 352 18446744073709551615 94288276770816 94288276787329 140731849790016 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94288276802096 94288276804184 94288283815936 140731849795990 140731849796130 140731849796130 140731849801703 0
/proc/41412/statm: 665 352 352 5 0 90 0
[pid=41413] ppid=41412 vsize=108856 memory=92184 CPUtime=50.89 cores=0,2
/proc/41413/stat : 41413 (CASHWMaxSAT-Dis) R 41412 41412 40438 0 -1 4194304 24046 0 0 0 5079 10 0 0 20 0 1 0 46720632 111468544 23046 18446744073709551615 4198400 14817773 140728889528368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44945408 140728889530780 140728889530907 140728889530907 140728889536480 0
/proc/41413/statm: 27214 23046 992 2593 0 24107 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 115840 KiB
Current children cumulated memory: 96664 KiB

[startup+102.301 s]
/proc/loadavg: 4.13 4.11 4.09 5/259 41594
/proc/meminfo: memFree=128961312/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41412] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2257.48 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106259 0 0 0 225227 521 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/259 41779
/proc/meminfo: memFree=127807520/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2317.31 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 231205 526 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/259 41781
/proc/meminfo: memFree=127808536/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2377.15 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 237186 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

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

# cumulated CPU time of all completed processes:  user=3579.75 s, system=5.58576 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/259 41781
/proc/meminfo: memFree=127808536/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2378.86 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 237357 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127776576/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2385.23 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 237994 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3579.63 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2388.41 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 238312 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3582.81 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2390.01 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 238472 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2390.41 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 238512 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=1194.4 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 282 42240 0 0 0 0 119416 24 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
[pid=41650] ppid=41406 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/41650/stat : 41650 (timeout) S 41406 41650 40438 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 46840432 2723840 352 18446744073709551615 94552456564736 94552456581249 140735010640144 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94552456596016 94552456598104 94552488071168 140735010646406 140735010646562 140735010646562 140735010652135 0
/proc/41650/statm: 665 352 352 5 0 90 0
[pid=41651] ppid=41650 vsize=343760 memory=324652 CPUtime=2390.82 cores=0,2
/proc/41651/stat : 41651 (ExactPR-S) R 41650 41650 40438 0 -1 4194304 106260 0 0 0 238553 529 0 0 20 0 1 0 46840433 352010240 81163 18446744073709551615 94055019786240 94055029086277 140733772428208 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94055030872384 94055030911464 94055054811136 140733772429726 140733772429863 140733772429863 140733772435436 0
/proc/41651/statm: 85940 81163 3392 2271 0 80578 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 350744 KiB
Current children cumulated memory: 329132 KiB

[startup+3596.11 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 41783
/proc/meminfo: memFree=127786696/131382116 swapFree=33010684/33010684
[pid=41406] ppid=41402 vsize=4324 memory=3072 CPUtime=3585.29 cores=0,2
/proc/41406/stat : 41406 (Hybrid-CASHWMax) S 41402 41406 40438 0 -1 4194304 402 150346 0 0 0 0 357973 556 20 0 1 0 46720629 4427776 768 18446744073709551615 94544149667840 94544150562373 140726211637328 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94544150801424 94544150849168 94544155537408 140726211639639 140726211639793 140726211639793 140726211645395 0
/proc/41406/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3585.33
CPU user time (s): 3579.75
CPU system time (s): 5.58576
CPU usage (%): 99.6992
Max. virtual memory (cumulated for all children) (KiB): 494720
Max. memory (cumulated for all children) (KiB): 442560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.75
system time used= 5.58576
maximum resident set size= 438080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1995
involuntary context switches= 8212


# summary of solver processes directly reported to runsolver:
#   pid: 41406
#   total CPU time (s): 3585.33
#   total CPU user time (s): 3579.75
#   total CPU system time (s): 5.58576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0229 second user time and 39.0132 second system time

The end