runsolver version 3.4.0 (svn: 3018) 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: 15822 MiB (14915 MiB free)
  memory of node 1: 16124 MiB (15018 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net50-30-1.shuffled.cnf 

running on 1 cores: 4

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=332097, runsolver pid=332055
Current StackSize limit: 8192 KiB


[startup+0.10097 s]*
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30594924/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=0.07 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1941 0 0 0 6 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+0.230969 s]*
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=0.17 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1941 0 0 0 16 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+0.323969 s]*
/proc/loadavg: 0.01 0.00 0.00 11/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=0.25 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1941 0 0 0 24 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+0.700972 s]
/proc/loadavg: 0.01 0.00 0.00 12/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=0.56 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1942 0 0 0 55 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+1.50097 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=1.34 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1943 0 0 0 133 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+3.12697 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12124 CPUtime=2.93 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 1957 0 0 0 292 1 0 0 20 0 1 0 191294450 40783872 3031 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3031 1459 2 0 2369 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12124 KiB

[startup+6.30097 s]
/proc/loadavg: 1.21 0.25 0.08 15/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12448 CPUtime=6.03 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2001 0 0 0 602 1 0 0 20 0 1 0 191294450 40783872 3112 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3112 1475 2 0 2369 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12448 KiB

[startup+12.701 s]
/proc/loadavg: 2.31 0.50 0.16 15/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12448 CPUtime=12.3 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2001 0 0 0 1229 1 0 0 20 0 1 0 191294450 40783872 3112 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3112 1475 2 0 2369 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12448 KiB

[startup+25.504 s]
/proc/loadavg: 5.12 1.21 0.40 15/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12448 CPUtime=24.81 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2014 0 0 0 2480 1 0 0 20 0 1 0 191294450 40783872 3112 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3112 1475 2 0 2369 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12448 KiB

[startup+51.123 s]
/proc/loadavg: 8.65 2.35 0.80 15/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12448 CPUtime=49.85 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2017 0 0 0 4984 1 0 0 20 0 1 0 191294450 40783872 3112 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3112 1475 2 0 2369 0
Current children cumulated CPU time: 49.85 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12448 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 15/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=99.89 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2037 0 0 0 9988 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 99.89 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+162.301 s]
/proc/loadavg: 10.37 5.22 2.04 15/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=158.55 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2042 0 0 0 15854 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 158.55 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 15/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=217.22 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2047 0 0 0 21721 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 217.22 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+282.301 s]
/proc/loadavg: 8.81 6.41 2.87 15/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=275.9 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2060 0 0 0 27589 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 275.9 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 15/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=334.57 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2082 0 0 0 33456 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 334.57 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+402.301 s]
/proc/loadavg: 8.29 7.03 3.53 15/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12712 CPUtime=393.26 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2091 0 0 0 39325 1 0 0 20 0 1 0 191294450 40783872 3178 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3178 1475 2 0 2369 0
Current children cumulated CPU time: 393.26 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12712 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 15/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=451.95 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2096 0 0 0 45194 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 451.95 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+522.301 s]
/proc/loadavg: 8.05 7.37 4.08 15/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=510.64 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2101 0 0 0 51063 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 510.64 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+582.301 s]
/proc/loadavg: 8.75 7.66 4.39 15/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=569.32 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2106 0 0 0 56931 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 569.32 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+642.301 s]
/proc/loadavg: 8.71 7.87 4.67 16/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=627.99 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2111 0 0 0 62798 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 627.99 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 15/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=686.67 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2123 0 0 0 68666 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 686.67 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+762.301 s]
/proc/loadavg: 8.27 8.00 5.11 16/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=745.34 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2142 0 0 0 74533 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 745.34 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 15/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=12976 CPUtime=804.01 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2143 0 0 0 80400 1 0 0 20 0 1 0 191294450 40783872 3244 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3244 1475 2 0 2369 0
Current children cumulated CPU time: 804.01 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12976 KiB

[startup+882.301 s]
/proc/loadavg: 8.10 8.03 5.48 14/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=13240 CPUtime=862.69 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2161 0 0 0 86268 1 0 0 20 0 1 0 191294450 40783872 3310 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3310 1475 2 0 2369 0
Current children cumulated CPU time: 862.69 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 13240 KiB

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 5.66 14/572 332254
/proc/meminfo: memFree=30561668/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=13240 CPUtime=921.33 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2161 0 0 0 92132 1 0 0 20 0 1 0 191294450 40783872 3310 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3310 1475 2 0 2369 0
Current children cumulated CPU time: 921.33 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 13240 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 15/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=13240 CPUtime=979.97 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2161 0 0 0 97996 1 0 0 20 0 1 0 191294450 40783872 3310 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3310 1475 2 0 2369 0
Current children cumulated CPU time: 979.97 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 13240 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 15/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=14104 CPUtime=1038.65 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2173 0 0 0 103864 1 0 0 20 0 1 0 191294450 40783872 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3526 1475 2 0 2369 0
Current children cumulated CPU time: 1038.65 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14104 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 14/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=14104 CPUtime=1097.26 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2175 0 0 0 109725 1 0 0 20 0 1 0 191294450 40783872 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3526 1475 2 0 2369 0
Current children cumulated CPU time: 1097.26 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14104 KiB

[startup+1182.3 s]
/proc/loadavg: 8.77 8.44 6.37 16/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=14104 CPUtime=1155.89 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2178 0 0 0 115588 1 0 0 20 0 1 0 191294450 40783872 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3526 1475 2 0 2369 0
Current children cumulated CPU time: 1155.89 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14104 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 14/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=14104 CPUtime=1214.55 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2184 0 0 0 121454 1 0 0 20 0 1 0 191294450 40783872 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3526 1475 2 0 2369 0
Current children cumulated CPU time: 1214.55 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14104 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 15/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39828 memory=14104 CPUtime=1273.2 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2190 0 0 0 127319 1 0 0 20 0 1 0 191294450 40783872 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9957 3526 1475 2 0 2369 0
Current children cumulated CPU time: 1273.2 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14104 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.27 6.68 14/572 332344
/proc/meminfo: memFree=30548596/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14104 CPUtime=1331.88 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2199 0 0 0 133187 1 0 0 20 0 1 0 191294450 40927232 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3526 1475 2 0 2404 0
Current children cumulated CPU time: 1331.88 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14104 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 14/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14104 CPUtime=1390.56 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2200 0 0 0 139055 1 0 0 20 0 1 0 191294450 40927232 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3526 1475 2 0 2404 0
Current children cumulated CPU time: 1390.56 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14104 KiB

[startup+1482.31 s]
/proc/loadavg: 8.35 8.27 6.88 14/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14104 CPUtime=1449.24 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2204 0 0 0 144923 1 0 0 20 0 1 0 191294450 40927232 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3526 1475 2 0 2404 0
Current children cumulated CPU time: 1449.24 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14104 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 15/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14104 CPUtime=1507.94 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2217 0 0 0 150793 1 0 0 20 0 1 0 191294450 40927232 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3526 1475 2 0 2404 0
Current children cumulated CPU time: 1507.94 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14104 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 15/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14104 CPUtime=1566.62 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2221 0 0 0 156661 1 0 0 20 0 1 0 191294450 40927232 3526 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3526 1475 2 0 2404 0
Current children cumulated CPU time: 1566.62 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14104 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 15/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=39968 memory=14280 CPUtime=1625.31 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2233 0 0 0 162530 1 0 0 20 0 1 0 191294450 40927232 3570 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 9992 3570 1475 2 0 2404 0
Current children cumulated CPU time: 1625.31 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 14280 KiB

[startup+1722.3 s]
/proc/loadavg: 8.30 8.33 7.23 15/571 332403
/proc/meminfo: memFree=30546056/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=40100 memory=14280 CPUtime=1683.95 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2237 0 0 0 168394 1 0 0 20 0 1 0 191294450 41062400 3570 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 10025 3570 1475 2 0 2437 0
Current children cumulated CPU time: 1683.95 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 14280 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 15/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=40100 memory=14280 CPUtime=1742.65 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2238 0 0 0 174263 2 0 0 20 0 1 0 191294450 41062400 3570 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 10025 3570 1475 2 0 2437 0
Current children cumulated CPU time: 1742.65 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 14280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.25 7.30 16/572 332423
/proc/meminfo: memFree=30545852/32713976 swapFree=33554428/33554428
[pid=332097] ppid=332055 vsize=40100 memory=14280 CPUtime=1759.98 cores=4
/proc/332097/stat : 332097 (pigeonPurSampli) R 332055 332097 332035 0 -1 4194304 2238 0 0 0 175996 2 0 0 20 0 1 0 191294450 41062400 3570 18446744073709551615 94251064057856 94251064061968 140733321287216 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 3 0 0 94251066162432 94251066163204 94251080740864 140733321290260 140733321290370 140733321290370 140733321293793 0
/proc/332097/statm: 10025 3570 1475 2 0 2437 0
Current children cumulated CPU time: 1759.98 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 14280 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 332097 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.98 s, system=0.021843 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1760
CPU user time (s): 1759.98
CPU system time (s): 0.021843
CPU usage (%): 97.7752
Max. virtual memory (cumulated for all children) (KiB): 40100
Max. memory (cumulated for all children) (KiB): 14280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.98
system time used= 0.021843
maximum resident set size= 14280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2240
page faults= 0
swaps= 0
block input operations= 248
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 45448


# summary of solver processes directly reported to runsolver:
#   pid: 332097
#   total CPU time (s): 1760
#   total CPU user time (s): 1759.98
#   total CPU system time (s): 0.021843

??? end of timestamper thread
runsolver used 15.1226 second user time and 17.7606 second system time

The end
