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: 1
  memory of node 0: 3639 MiB (1689 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/BF/bf2670-001.cnf 

running on 1 cores: 1

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


[startup+0.100641 s]*
/proc/loadavg: 0.00 0.31 0.99 3/440 419571
/proc/meminfo: memFree=1719904/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=10556 CPUtime=0.11 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1554 0 0 0 10 1 0 0 20 0 1 0 226063146 39481344 2639 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2639 1464 2 0 2048 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10556 KiB

[startup+0.239644 s]*
/proc/loadavg: 0.00 0.31 0.99 4/440 419571
/proc/meminfo: memFree=1719400/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=10820 CPUtime=0.22 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1561 0 0 0 21 1 0 0 20 0 1 0 226063146 39481344 2705 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2705 1464 2 0 2048 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10820 KiB

[startup+0.332641 s]*
/proc/loadavg: 0.00 0.31 0.99 4/440 419571
/proc/meminfo: memFree=1718644/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=10820 CPUtime=0.29 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1577 0 0 0 28 1 0 0 20 0 1 0 226063146 39481344 2705 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2705 1464 2 0 2048 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10820 KiB

[startup+0.700643 s]
/proc/loadavg: 0.00 0.31 0.99 3/440 419571
/proc/meminfo: memFree=1718140/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=10820 CPUtime=0.59 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1600 0 0 0 58 1 0 0 20 0 1 0 226063146 39481344 2705 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2705 1464 2 0 2048 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10820 KiB

[startup+1.50064 s]
/proc/loadavg: 0.24 0.35 1.01 3/440 419571
/proc/meminfo: memFree=1717888/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11348 CPUtime=1.36 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1746 0 0 0 135 1 0 0 20 0 1 0 226063146 39481344 2837 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2837 1464 2 0 2048 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11348 KiB

[startup+3.12564 s]
/proc/loadavg: 0.24 0.35 1.01 3/440 419571
/proc/meminfo: memFree=1717380/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11348 CPUtime=2.94 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1746 0 0 0 293 1 0 0 20 0 1 0 226063146 39481344 2837 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2837 1464 2 0 2048 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11348 KiB

[startup+6.30064 s]
/proc/loadavg: 0.38 0.38 1.01 3/440 419571
/proc/meminfo: memFree=1717316/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11348 CPUtime=6.04 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1749 0 0 0 603 1 0 0 20 0 1 0 226063146 39481344 2837 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2837 1464 2 0 2048 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11348 KiB

[startup+12.7006 s]
/proc/loadavg: 0.51 0.41 1.02 3/440 419571
/proc/meminfo: memFree=1717260/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11348 CPUtime=12.29 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1752 0 0 0 1228 1 0 0 20 0 1 0 226063146 39481344 2837 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2837 1464 2 0 2048 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11348 KiB

[startup+25.5006 s]
/proc/loadavg: 0.74 0.46 1.03 3/440 419571
/proc/meminfo: memFree=1717008/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11672 CPUtime=24.78 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1764 0 0 0 2477 1 0 0 20 0 1 0 226063146 39481344 2918 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2918 1480 2 0 2048 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11672 KiB

[startup+51.1246 s]
/proc/loadavg: 1.24 0.61 1.06 3/439 419580
/proc/meminfo: memFree=1716472/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11672 CPUtime=49.77 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1781 0 0 0 4976 1 0 0 20 0 1 0 226063146 39481344 2918 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2918 1480 2 0 2048 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11672 KiB

[startup+102.301 s]
/proc/loadavg: 1.67 0.82 1.11 3/440 419582
/proc/meminfo: memFree=1716112/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38556 memory=11672 CPUtime=99.7 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1824 0 0 0 9969 1 0 0 20 0 1 0 226063146 39481344 2918 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9639 2918 1480 2 0 2048 0
Current children cumulated CPU time: 99.7 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11672 KiB

[startup+162.307 s]
/proc/loadavg: 2.02 1.07 1.18 3/440 419592
/proc/meminfo: memFree=1715352/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38824 memory=11936 CPUtime=158.26 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1864 0 0 0 15825 1 0 0 20 0 1 0 226063146 39755776 2984 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9706 2984 1480 2 0 2115 0
Current children cumulated CPU time: 158.26 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 11936 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 1.24 1.23 3/440 419603
/proc/meminfo: memFree=1714596/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=38960 memory=12200 CPUtime=216.8 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1907 0 0 0 21679 1 0 0 20 0 1 0 226063146 39895040 3050 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9740 3050 1480 2 0 2149 0
Current children cumulated CPU time: 216.8 s
Current children cumulated vsize: 38960 KiB
Current children cumulated memory: 12200 KiB

[startup+282.307 s]
/proc/loadavg: 2.00 1.38 1.29 3/441 419613
/proc/meminfo: memFree=1714564/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39100 memory=12200 CPUtime=275.35 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1947 0 0 0 27534 1 0 0 20 0 1 0 226063146 40038400 3050 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9775 3050 1480 2 0 2184 0
Current children cumulated CPU time: 275.35 s
Current children cumulated vsize: 39100 KiB
Current children cumulated memory: 12200 KiB

[startup+342.301 s]
/proc/loadavg: 2.00 1.50 1.33 3/441 419623
/proc/meminfo: memFree=1712516/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39236 memory=13716 CPUtime=333.89 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 1994 0 0 0 33388 1 0 0 20 0 1 0 226063146 40177664 3429 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9809 3429 1480 2 0 2218 0
Current children cumulated CPU time: 333.89 s
Current children cumulated vsize: 39236 KiB
Current children cumulated memory: 13716 KiB

[startup+402.307 s]
/proc/loadavg: 2.00 1.59 1.38 3/441 419633
/proc/meminfo: memFree=1712260/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39504 memory=13980 CPUtime=392.44 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2039 0 0 0 39243 1 0 0 20 0 1 0 226063146 40452096 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9876 3495 1480 2 0 2285 0
Current children cumulated CPU time: 392.44 s
Current children cumulated vsize: 39504 KiB
Current children cumulated memory: 13980 KiB

[startup+462.301 s]
/proc/loadavg: 2.00 1.67 1.42 3/441 419642
/proc/meminfo: memFree=1711980/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=450.98 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 45097 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 450.98 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+522.307 s]
/proc/loadavg: 2.00 1.73 1.46 3/440 419651
/proc/meminfo: memFree=1711728/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=509.55 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 50954 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 509.55 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+582.301 s]
/proc/loadavg: 2.00 1.78 1.49 3/441 419663
/proc/meminfo: memFree=1711948/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=568.1 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 56809 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 568.1 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+642.307 s]
/proc/loadavg: 2.00 1.83 1.53 3/441 419672
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=626.67 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 62666 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 626.67 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+702.301 s]
/proc/loadavg: 2.07 1.89 1.57 3/441 419681
/proc/meminfo: memFree=1711160/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=685.23 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 68522 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 685.23 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+762.301 s]
/proc/loadavg: 2.02 1.91 1.60 3/441 419692
/proc/meminfo: memFree=1711412/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=743.79 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 74378 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 743.79 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+822.301 s]
/proc/loadavg: 2.01 1.93 1.63 3/441 419702
/proc/meminfo: memFree=1711348/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=802.35 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 80234 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 802.35 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+882.307 s]
/proc/loadavg: 2.00 1.95 1.65 3/440 419712
/proc/meminfo: memFree=1711096/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=860.93 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 86092 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 860.93 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.68 3/440 419722
/proc/meminfo: memFree=1711316/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=919.48 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 91947 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 919.48 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/440 419731
/proc/meminfo: memFree=1711316/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=978.05 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 97804 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 978.05 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.72 3/439 419740
/proc/meminfo: memFree=1710780/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1036.62 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 103661 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1036.62 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.74 3/440 419750
/proc/meminfo: memFree=1710780/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1095.2 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 109519 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1095.2 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1182.3 s]
/proc/loadavg: 2.10 2.01 1.77 3/440 419760
/proc/meminfo: memFree=1710748/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1153.78 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 115377 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1153.78 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1242.31 s]
/proc/loadavg: 2.04 2.01 1.79 3/440 419770
/proc/meminfo: memFree=1710748/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1212.37 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 121236 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1212.37 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.81 3/440 419779
/proc/meminfo: memFree=1710968/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1270.95 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 127094 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1270.95 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 1.82 3/440 419789
/proc/meminfo: memFree=1710968/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1329.53 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 132952 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1329.53 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/439 419799
/proc/meminfo: memFree=1711220/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1388.11 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 138810 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1388.11 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 1.85 3/441 419810
/proc/meminfo: memFree=1711188/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1446.7 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 144669 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1446.7 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/440 419821
/proc/meminfo: memFree=1710904/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1505.27 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 150526 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1505.27 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/441 419831
/proc/meminfo: memFree=1710872/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1563.85 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 156384 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1563.85 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1662.3 s]
/proc/loadavg: 2.14 2.03 1.89 3/441 419840
/proc/meminfo: memFree=1710840/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1622.42 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 162241 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1622.42 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1722.31 s]
/proc/loadavg: 2.11 2.04 1.91 3/441 419849
/proc/meminfo: memFree=1710840/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1681 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 168099 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1681 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/440 419860
/proc/meminfo: memFree=1710556/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1739.58 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 173957 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1739.58 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 2.03 2.03 1.92 3/442 419874
/proc/meminfo: memFree=1710556/3726824 swapFree=8388604/8388604
[pid=419566] ppid=419565 vsize=39636 memory=13980 CPUtime=1756.88 cores=1
/proc/419566/stat : 419566 (pigeonPurSampli) R 419565 419566 419558 0 -1 4194304 2085 0 0 0 175687 1 0 0 20 0 1 0 226063146 40587264 3495 18446744073709551615 93944872972288 93944872976400 140723816776688 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944875076864 93944875077636 93944877031424 140723816780301 140723816780373 140723816780373 140723816783841 0
/proc/419566/statm: 9909 3495 1480 2 0 2318 0
Current children cumulated CPU time: 1756.88 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 13980 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, -112, -113, 114, 115, -116, -117, 118, 119, -120, 121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, -112, 113, -114, 115, -116, 117, 118, 119, -120, -121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, -112, 113, 114, 115, 116, -117, 118, 119, -120, -121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, 112, -113, -114, 115, 116, 117, 118, -119] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, 112, 113, -114, 115, -116, -117, 118, -119, -120, 121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, -111, 112, 113, 114, 115, -116, 117, 118, -119, -120, -121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, 111, -112, -113, -114, 115, 116, -117, 118, -119, -120, -121] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, 111, -112, -113, 114, 115, 116, 117, -118, 119] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -73, -74, -75, -76, -77, -79, -80, -81, -82, -83, -84, -85, -86, -87, -88, -89, -90, -91, -92, -93, -94, -95, -96, -97, -98, -99, -101, -102, -103, -104, -105, -106, -107, 108, -109, -110, 111, -112, 113, 114, 115, -116, -117, -118, 119, -120, 121] -> []


Detected pigeons:

[startup+1800.05 s]
# the end of solver process 419566 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.89 s, system=0.019693 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): 1756.91
CPU user time (s): 1756.89
CPU system time (s): 0.019693
CPU usage (%): 97.6035
Max. virtual memory (cumulated for all children) (KiB): 39636
Max. memory (cumulated for all children) (KiB): 13980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.89
system time used= 0.019693
maximum resident set size= 13980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2087
page faults= 0
swaps= 0
block input operations= 88
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 27247


# summary of solver processes directly reported to runsolver:
#   pid: 419566
#   total CPU time (s): 1756.91
#   total CPU user time (s): 1756.89
#   total CPU system time (s): 0.019693

??? end of timestamper thread
runsolver used 15.281 second user time and 20.937 second system time

The end
