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 (1678 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2003/industrial/kukula/am_5_5.cnf 

running on 1 cores: 2

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


[startup+0.100068 s]*
/proc/loadavg: 0.15 0.03 0.01 2/447 431508
/proc/meminfo: memFree=1709576/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=0.04 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1584 0 0 0 4 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+0.23786 s]*
/proc/loadavg: 0.15 0.03 0.01 5/447 431508
/proc/meminfo: memFree=1705756/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=0.15 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1585 0 0 0 15 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+0.325863 s]*
/proc/loadavg: 0.15 0.03 0.01 4/447 431508
/proc/meminfo: memFree=1705252/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=0.22 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1585 0 0 0 22 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+0.70086 s]
/proc/loadavg: 0.15 0.03 0.01 4/447 431508
/proc/meminfo: memFree=1704748/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=0.52 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1590 0 0 0 52 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+1.50086 s]
/proc/loadavg: 0.15 0.03 0.01 4/447 431508
/proc/meminfo: memFree=1704496/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=1.3 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1609 0 0 0 130 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+3.13186 s]
/proc/loadavg: 0.15 0.03 0.01 4/447 431508
/proc/meminfo: memFree=1704244/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=2.88 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1611 0 0 0 288 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+6.30086 s]
/proc/loadavg: 0.38 0.08 0.03 4/447 431508
/proc/meminfo: memFree=1703896/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=5.98 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1613 0 0 0 598 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+12.7009 s]
/proc/loadavg: 0.67 0.15 0.05 5/455 431519
/proc/meminfo: memFree=1691672/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=12.18 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1618 0 0 0 1218 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+25.5009 s]
/proc/loadavg: 1.49 0.35 0.12 5/455 431520
/proc/meminfo: memFree=1691420/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11132 CPUtime=24.58 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1625 0 0 0 2458 0 0 0 20 0 1 0 232990759 39481344 2783 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2783 1544 2 0 2048 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+51.1259 s]
/proc/loadavg: 2.48 0.68 0.23 5/455 431528
/proc/meminfo: memFree=1689592/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11396 CPUtime=49.33 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1630 0 0 0 4933 0 0 0 20 0 1 0 232990759 39481344 2849 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2849 1544 2 0 2048 0
Current children cumulated CPU time: 49.33 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11396 KiB

[startup+102.301 s]
/proc/loadavg: 3.63 1.27 0.46 5/455 431537
/proc/meminfo: memFree=1688300/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38556 memory=11396 CPUtime=98.78 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1650 0 0 0 9878 0 0 0 20 0 1 0 232990759 39481344 2849 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9639 2849 1544 2 0 2048 0
Current children cumulated CPU time: 98.78 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11396 KiB

[startup+162.301 s]
/proc/loadavg: 4.29 1.88 0.72 5/455 431546
/proc/meminfo: memFree=1687764/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38812 memory=11540 CPUtime=156.82 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1690 0 0 0 15681 1 0 0 20 0 1 0 232990759 39743488 2885 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9703 2885 1544 2 0 2112 0
Current children cumulated CPU time: 156.82 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 11540 KiB

[startup+222.301 s]
/proc/loadavg: 4.25 2.31 0.94 5/455 431558
/proc/meminfo: memFree=1682652/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38812 memory=13028 CPUtime=214.85 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1709 0 0 0 21484 1 0 0 20 0 1 0 232990759 39743488 3257 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9703 3257 1544 2 0 2112 0
Current children cumulated CPU time: 214.85 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 13028 KiB

[startup+282.301 s]
/proc/loadavg: 4.09 2.62 1.14 5/456 431568
/proc/meminfo: memFree=1682404/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=38812 memory=13028 CPUtime=272.85 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1740 0 0 0 27284 1 0 0 20 0 1 0 232990759 39743488 3257 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9703 3257 1544 2 0 2112 0
Current children cumulated CPU time: 272.85 s
Current children cumulated vsize: 38812 KiB
Current children cumulated memory: 13028 KiB

[startup+342.301 s]
/proc/loadavg: 4.49 2.99 1.36 5/456 431577
/proc/meminfo: memFree=1682372/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=330.89 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 33088 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 330.89 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+402.301 s]
/proc/loadavg: 4.91 3.39 1.60 5/456 431587
/proc/meminfo: memFree=1681332/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=389.07 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 38906 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 389.07 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+462.301 s]
/proc/loadavg: 4.95 3.68 1.81 5/456 431596
/proc/meminfo: memFree=1680072/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=447.24 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 44723 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 447.24 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+522.301 s]
/proc/loadavg: 4.66 3.84 1.99 5/456 431605
/proc/meminfo: memFree=1680292/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=505.41 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 50540 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 505.41 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+582.301 s]
/proc/loadavg: 4.70 4.01 2.16 5/455 431622
/proc/meminfo: memFree=1680260/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=563.56 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 56355 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 563.56 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+642.301 s]
/proc/loadavg: 4.72 4.14 2.33 5/455 431631
/proc/meminfo: memFree=1680008/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=621.74 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 62173 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 621.74 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+702.301 s]
/proc/loadavg: 4.26 4.12 2.44 5/455 431640
/proc/meminfo: memFree=1679724/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=679.92 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 67991 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 679.92 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+762.301 s]
/proc/loadavg: 4.17 4.12 2.55 5/455 431649
/proc/meminfo: memFree=1678968/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=738.02 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1822 0 0 0 73801 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 738.02 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+822.301 s]
/proc/loadavg: 4.10 4.11 2.65 5/456 431660
/proc/meminfo: memFree=1678212/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=796.03 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 79602 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 796.03 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+882.301 s]
/proc/loadavg: 4.09 4.10 2.74 5/455 431670
/proc/meminfo: memFree=1677424/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=854.05 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 85404 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 854.05 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+942.301 s]
/proc/loadavg: 4.03 4.08 2.82 6/456 431680
/proc/meminfo: memFree=1677424/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=912.17 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 91216 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 912.17 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.10 2.91 6/456 431690
/proc/meminfo: memFree=1676636/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=970.35 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 97034 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 970.35 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1062.3 s]
/proc/loadavg: 4.47 4.19 3.02 5/456 431700
/proc/meminfo: memFree=1676888/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1028.53 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 102852 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1028.53 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1122.3 s]
/proc/loadavg: 4.49 4.23 3.11 5/455 431709
/proc/meminfo: memFree=1676856/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1086.62 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 108661 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1086.62 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1182.3 s]
/proc/loadavg: 4.60 4.32 3.21 5/454 431720
/proc/meminfo: memFree=1675752/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1144.65 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1865 0 0 0 114464 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1144.65 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1242.3 s]
/proc/loadavg: 4.25 4.28 3.27 5/456 431732
/proc/meminfo: memFree=1676508/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1202.68 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 120267 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1202.68 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1302.3 s]
/proc/loadavg: 4.09 4.22 3.32 5/456 431752
/proc/meminfo: memFree=1675944/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1260.7 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 126069 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1260.7 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1362.3 s]
/proc/loadavg: 4.23 4.24 3.38 5/456 431761
/proc/meminfo: memFree=1675944/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1318.7 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 131869 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1318.7 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1422.3 s]
/proc/loadavg: 4.11 4.21 3.43 5/456 431771
/proc/meminfo: memFree=1675660/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1376.73 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 137672 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1376.73 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.18 3.47 5/456 431780
/proc/meminfo: memFree=1675880/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1434.8 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 143479 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1434.8 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1542.3 s]
/proc/loadavg: 4.25 4.20 3.53 5/453 431789
/proc/meminfo: memFree=1674652/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1492.84 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 149283 1 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1492.84 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1602.3 s]
/proc/loadavg: 4.32 4.22 3.58 5/455 431801
/proc/meminfo: memFree=1675124/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1550.98 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 155096 2 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1550.98 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1662.3 s]
/proc/loadavg: 4.59 4.32 3.66 5/455 431810
/proc/meminfo: memFree=1675064/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1609.16 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 160914 2 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1609.16 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1722.3 s]
/proc/loadavg: 4.43 4.32 3.70 5/455 431820
/proc/meminfo: memFree=1674980/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1667.18 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 166716 2 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1667.18 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

[startup+1782.3 s]
/proc/loadavg: 4.16 4.26 3.72 5/455 431830
/proc/meminfo: memFree=1675060/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1725.25 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 172523 2 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1725.25 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]*
/proc/loadavg: 3.96 4.21 3.72 5/447 431832
/proc/meminfo: memFree=1690176/3726824 swapFree=8388604/8388604
[pid=431505] ppid=431503 vsize=39068 memory=13548 CPUtime=1742.42 cores=2
/proc/431505/stat : 431505 (pigeonPurSampli) R 431503 431505 431496 0 -1 4194304 1869 0 0 0 174240 2 0 0 20 0 1 0 232990759 40005632 3387 18446744073709551615 94630347825152 94630347829264 140723612276064 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 6 0 0 94630349929728 94630349930500 94630369869824 140723612279334 140723612279426 140723612279426 140723612282849 0
/proc/431505/statm: 9767 3387 1544 2 0 2176 0
Current children cumulated CPU time: 1742.42 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 13548 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -5, -6] -> []

[-1, -2, -3, -5, -6, 7, -8, -9, -11, -12, 13, -14, -15, 16, -19, 20, -21, 23, 25, -26, -27, 28, -29, -30, -31, -32, -34, -35, -36, 38, -39, 41, -42, 43, -46, 47, -48] -> ph3-2_1 

[-1, -2, -3, -5, -6, 7, -8, -9, -11, -12, 13, -14, -15, 16, -19, 20, -21, 23, 25, -26, -27, 28, -29, -30, -31, -32, -34, -35, 36, 37, -38, 39, 41, -42, 43, -46, 47, -48, -49] -> ph3-2_2 

[-1, -2, -3, -5, -6, 7, -8, -9, -11, -12, 13, -14, -15, 16, -19, 20, -21, 23, 25, -26, -27, 28, -29, -30, -31, 32, -34, -35, -36, -38, -39, -41, 42, 43, -46, 47, -48, -49] -> ph3-2_3 


Detected pigeons:

 ph3-2_1 = [[-683, -790], [792, 282], [-859, 72]]

 ph3-2_2 = [[485, -546], [491, -88], [-610, -206]]

 ph3-2_3 = [[435, -789], [-610, -206], [994, 803]]

[startup+1800.05 s]
# the end of solver process 431505 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1742.42 s, system=0.023637 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): 1742.44
CPU user time (s): 1742.42
CPU system time (s): 0.023637
CPU usage (%): 96.7999
Max. virtual memory (cumulated for all children) (KiB): 39068
Max. memory (cumulated for all children) (KiB): 13548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.42
system time used= 0.023637
maximum resident set size= 13548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1871
page faults= 0
swaps= 0
block input operations= 112
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 91624


# summary of solver processes directly reported to runsolver:
#   pid: 431505
#   total CPU time (s): 1742.44
#   total CPU user time (s): 1742.42
#   total CPU system time (s): 0.023637

??? end of timestamper thread
runsolver used 16.5662 second user time and 25.3971 second system time

The end
