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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/cmpadd/ca256.shuffled.cnf 

running on 1 cores: 3

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


[startup+0.100205 s]*
/proc/loadavg: 0.03 0.02 0.09 9/471 412565
/proc/meminfo: memFree=1735432/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=13704 CPUtime=0.09 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2263 0 0 0 9 0 0 0 20 0 1 0 225468830 42344448 3426 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3426 1527 2 0 2747 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 13704 KiB

[startup+0.233205 s]*
/proc/loadavg: 0.03 0.02 0.09 9/471 412565
/proc/meminfo: memFree=1734424/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=13704 CPUtime=0.2 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2263 0 0 0 20 0 0 0 20 0 1 0 225468830 42344448 3426 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3426 1527 2 0 2747 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 13704 KiB

[startup+0.331208 s]*
/proc/loadavg: 0.03 0.02 0.09 7/471 412565
/proc/meminfo: memFree=1733416/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=13704 CPUtime=0.27 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2264 0 0 0 27 0 0 0 20 0 1 0 225468830 42344448 3426 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3426 1527 2 0 2747 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 13704 KiB

[startup+0.701206 s]
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1732408/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=13704 CPUtime=0.58 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2264 0 0 0 58 0 0 0 20 0 1 0 225468830 42344448 3426 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3426 1527 2 0 2747 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 13704 KiB

[startup+1.50221 s]
/proc/loadavg: 0.03 0.02 0.09 8/471 412565
/proc/meminfo: memFree=1731652/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=13704 CPUtime=1.35 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2276 0 0 0 135 0 0 0 20 0 1 0 225468830 42344448 3426 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3426 1527 2 0 2747 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 13704 KiB

[startup+3.12921 s]
/proc/loadavg: 0.35 0.09 0.11 8/471 412565
/proc/meminfo: memFree=1731668/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=41352 memory=14232 CPUtime=2.93 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2390 0 0 0 293 0 0 0 20 0 1 0 225468830 42344448 3558 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10338 3558 1527 2 0 2747 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 14232 KiB

[startup+6.30221 s]
/proc/loadavg: 0.35 0.09 0.11 8/471 412565
/proc/meminfo: memFree=1730248/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42020 memory=15288 CPUtime=6.03 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2681 0 0 0 602 1 0 0 20 0 1 0 225468830 43028480 3822 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10505 3822 1527 2 0 2914 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 42020 KiB
Current children cumulated memory: 15288 KiB

[startup+12.7012 s]
/proc/loadavg: 0.64 0.16 0.13 8/471 412565
/proc/meminfo: memFree=1729240/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42020 memory=15552 CPUtime=12.26 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2685 0 0 0 1225 1 0 0 20 0 1 0 225468830 43028480 3888 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10505 3888 1527 2 0 2914 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 42020 KiB
Current children cumulated memory: 15552 KiB

[startup+25.5012 s]
/proc/loadavg: 1.46 0.36 0.20 9/471 412565
/proc/meminfo: memFree=1729240/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42020 memory=15552 CPUtime=24.71 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2692 0 0 0 2470 1 0 0 20 0 1 0 225468830 43028480 3888 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10505 3888 1527 2 0 2914 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 42020 KiB
Current children cumulated memory: 15552 KiB

[startup+51.1412 s]
/proc/loadavg: 2.33 0.65 0.30 8/471 412574
/proc/meminfo: memFree=1727192/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42156 memory=15552 CPUtime=49.63 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2708 0 0 0 4962 1 0 0 20 0 1 0 225468830 43167744 3888 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10539 3888 1527 2 0 2948 0
Current children cumulated CPU time: 49.63 s
Current children cumulated vsize: 42156 KiB
Current children cumulated memory: 15552 KiB

[startup+102.301 s]
/proc/loadavg: 3.35 1.19 0.50 9/471 412583
/proc/meminfo: memFree=1725176/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42288 memory=15552 CPUtime=99.37 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2735 0 0 0 9936 1 0 0 20 0 1 0 225468830 43302912 3888 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10572 3888 1527 2 0 2981 0
Current children cumulated CPU time: 99.37 s
Current children cumulated vsize: 42288 KiB
Current children cumulated memory: 15552 KiB

[startup+162.301 s]
/proc/loadavg: 3.89 1.73 0.73 8/471 412594
/proc/meminfo: memFree=1724356/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42424 memory=15816 CPUtime=157.54 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2769 0 0 0 15753 1 0 0 20 0 1 0 225468830 43442176 3954 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10606 3954 1527 2 0 3015 0
Current children cumulated CPU time: 157.54 s
Current children cumulated vsize: 42424 KiB
Current children cumulated memory: 15816 KiB

[startup+222.301 s]
/proc/loadavg: 4.18 2.21 0.96 9/471 412604
/proc/meminfo: memFree=1723096/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42556 memory=15816 CPUtime=215.88 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2804 0 0 0 21587 1 0 0 20 0 1 0 225468830 43577344 3954 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10639 3954 1527 2 0 3048 0
Current children cumulated CPU time: 215.88 s
Current children cumulated vsize: 42556 KiB
Current children cumulated memory: 15816 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 2.60 1.18 9/471 412618
/proc/meminfo: memFree=1722276/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42696 memory=16080 CPUtime=274.14 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2840 0 0 0 27413 1 0 0 20 0 1 0 225468830 43720704 4020 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10674 4020 1527 2 0 3083 0
Current children cumulated CPU time: 274.14 s
Current children cumulated vsize: 42696 KiB
Current children cumulated memory: 16080 KiB

[startup+342.302 s]
/proc/loadavg: 4.47 2.96 1.39 9/470 412628
/proc/meminfo: memFree=1722052/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42696 memory=16080 CPUtime=332.34 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2870 0 0 0 33233 1 0 0 20 0 1 0 225468830 43720704 4020 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10674 4020 1527 2 0 3083 0
Current children cumulated CPU time: 332.34 s
Current children cumulated vsize: 42696 KiB
Current children cumulated memory: 16080 KiB

[startup+402.302 s]
/proc/loadavg: 4.17 3.16 1.56 8/470 412637
/proc/meminfo: memFree=1721832/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=42960 memory=16344 CPUtime=390.68 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2908 0 0 0 39067 1 0 0 20 0 1 0 225468830 43991040 4086 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10740 4086 1527 2 0 3149 0
Current children cumulated CPU time: 390.68 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 16344 KiB

[startup+462.302 s]
/proc/loadavg: 4.06 3.31 1.71 8/470 412647
/proc/meminfo: memFree=1721328/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=43096 memory=16344 CPUtime=449.01 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2943 0 0 0 44899 2 0 0 20 0 1 0 225468830 44130304 4086 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10774 4086 1527 2 0 3183 0
Current children cumulated CPU time: 449.01 s
Current children cumulated vsize: 43096 KiB
Current children cumulated memory: 16344 KiB

[startup+522.301 s]
/proc/loadavg: 4.14 3.47 1.87 8/470 412657
/proc/meminfo: memFree=1720572/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=43228 memory=16608 CPUtime=507.36 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 2976 0 0 0 50734 2 0 0 20 0 1 0 225468830 44265472 4152 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10807 4152 1527 2 0 3216 0
Current children cumulated CPU time: 507.36 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 16608 KiB

[startup+582.302 s]
/proc/loadavg: 4.05 3.57 2.01 8/470 412666
/proc/meminfo: memFree=1717420/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=43228 memory=18452 CPUtime=565.73 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3010 0 0 0 56571 2 0 0 20 0 1 0 225468830 44265472 4613 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 10807 4613 1527 2 0 3216 0
Current children cumulated CPU time: 565.73 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 18452 KiB

[startup+642.301 s]
/proc/loadavg: 4.05 3.66 2.14 8/469 412675
/proc/meminfo: memFree=1716380/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=624.11 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3303 0 0 0 62409 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 624.11 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+702.301 s]
/proc/loadavg: 4.32 3.81 2.29 8/469 412685
/proc/meminfo: memFree=1714868/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=682.51 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 68249 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 682.51 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+762.305 s]
/proc/loadavg: 4.44 3.93 2.43 8/470 412696
/proc/meminfo: memFree=1715120/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=740.89 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 74087 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 740.89 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+822.301 s]
/proc/loadavg: 4.57 4.07 2.57 9/470 412705
/proc/meminfo: memFree=1715088/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=799.26 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 79924 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 799.26 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+882.3 s]
/proc/loadavg: 4.24 4.07 2.67 8/470 412716
/proc/meminfo: memFree=1714836/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=857.65 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 85763 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 857.65 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+942.302 s]
/proc/loadavg: 4.28 4.11 2.77 8/470 412725
/proc/meminfo: memFree=1714584/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=916.05 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 91603 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 916.05 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1002.3 s]
/proc/loadavg: 4.19 4.12 2.86 9/470 412734
/proc/meminfo: memFree=1714868/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=974.44 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 97442 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 974.44 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1062.3 s]
/proc/loadavg: 4.21 4.13 2.95 7/470 412745
/proc/meminfo: memFree=1714584/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=1032.81 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 103279 2 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 1032.81 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1122.31 s]
/proc/loadavg: 4.20 4.14 3.03 8/470 412754
/proc/meminfo: memFree=1714836/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=1091.2 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 109117 3 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 1091.2 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1182.3 s]
/proc/loadavg: 4.20 4.14 3.10 8/470 412764
/proc/meminfo: memFree=1714812/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=1149.55 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 114952 3 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 1149.55 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1242.3 s]
/proc/loadavg: 4.36 4.20 3.19 8/470 412773
/proc/meminfo: memFree=1714812/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=1207.92 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 120789 3 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 1207.92 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1302.3 s]
/proc/loadavg: 4.64 4.30 3.29 9/470 412783
/proc/meminfo: memFree=1714528/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44580 memory=19760 CPUtime=1266.29 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3304 0 0 0 126626 3 0 0 20 0 1 0 225468830 45649920 4940 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11145 4940 1527 2 0 3554 0
Current children cumulated CPU time: 1266.29 s
Current children cumulated vsize: 44580 KiB
Current children cumulated memory: 19760 KiB

[startup+1362.3 s]
/proc/loadavg: 4.70 4.39 3.39 8/469 412793
/proc/meminfo: memFree=1714528/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44324 memory=19784 CPUtime=1324.49 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3478 0 0 0 132446 3 0 0 20 0 1 0 225468830 45387776 4946 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11081 4946 1527 2 0 3490 0
Current children cumulated CPU time: 1324.49 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 19784 KiB

[startup+1422.3 s]
/proc/loadavg: 4.26 4.31 3.43 8/469 412802
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44324 memory=19784 CPUtime=1382.84 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3478 0 0 0 138281 3 0 0 20 0 1 0 225468830 45387776 4946 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11081 4946 1527 2 0 3490 0
Current children cumulated CPU time: 1382.84 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 19784 KiB

[startup+1482.3 s]
/proc/loadavg: 4.17 4.28 3.47 8/470 412813
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44324 memory=19784 CPUtime=1441.2 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3478 0 0 0 144117 3 0 0 20 0 1 0 225468830 45387776 4946 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11081 4946 1527 2 0 3490 0
Current children cumulated CPU time: 1441.2 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 19784 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.24 3.52 8/470 412823
/proc/meminfo: memFree=1714308/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44324 memory=19784 CPUtime=1499.57 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3478 0 0 0 149953 4 0 0 20 0 1 0 225468830 45387776 4946 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11081 4946 1527 2 0 3490 0
Current children cumulated CPU time: 1499.57 s
Current children cumulated vsize: 44324 KiB
Current children cumulated memory: 19784 KiB

[startup+1602.3 s]
/proc/loadavg: 4.23 4.25 3.57 8/470 412833
/proc/meminfo: memFree=1714276/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44980 memory=20064 CPUtime=1557.92 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3613 0 0 0 155788 4 0 0 20 0 1 0 225468830 46059520 5016 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11245 5016 1527 2 0 3654 0
Current children cumulated CPU time: 1557.92 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 20064 KiB

[startup+1662.3 s]
/proc/loadavg: 4.24 4.23 3.61 8/470 412843
/proc/meminfo: memFree=1713520/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44980 memory=20064 CPUtime=1616.27 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3613 0 0 0 161623 4 0 0 20 0 1 0 225468830 46059520 5016 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11245 5016 1527 2 0 3654 0
Current children cumulated CPU time: 1616.27 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 20064 KiB

[startup+1722.3 s]
/proc/loadavg: 3.94 4.18 3.63 7/462 412854
/proc/meminfo: memFree=1723288/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44980 memory=20064 CPUtime=1674.64 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3613 0 0 0 167460 4 0 0 20 0 1 0 225468830 46059520 5016 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11245 5016 1527 2 0 3654 0
Current children cumulated CPU time: 1674.64 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 20064 KiB

[startup+1782.3 s]
/proc/loadavg: 3.57 4.01 3.61 6/461 412863
/proc/meminfo: memFree=1723320/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44980 memory=20064 CPUtime=1733.04 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3613 0 0 0 173300 4 0 0 20 0 1 0 225468830 46059520 5016 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11245 5016 1527 2 0 3654 0
Current children cumulated CPU time: 1733.04 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 20064 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.41 3.95 3.59 6/461 412864
/proc/meminfo: memFree=1723320/3717660 swapFree=8388604/8388604
[pid=412564] ppid=412561 vsize=44980 memory=20064 CPUtime=1750.29 cores=3
/proc/412564/stat : 412564 (pigeonPurSampli) R 412561 412564 412547 0 -1 4194304 3613 0 0 0 175025 4 0 0 20 0 1 0 225468830 46059520 5016 18446744073709551615 94748729094144 94748729098256 140721507669008 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 225468830 0 0 94748731198720 94748731199492 94748734185472 140721507672567 140721507672662 140721507672662 140721507676129 0
/proc/412564/statm: 11245 5016 1527 2 0 3654 0
Current children cumulated CPU time: 1750.29 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 20064 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, -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, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -77, -78] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -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, -61, -62, -63, -64, -65, -66, -67, -68, -69, -70, -71, -72, -74, -75, -76, -77, -78, 79, -81, -82, -83, -84, -85, -86, -88, -89, -90, -92, -93, -94, -95, -96, -97, -98, -99, 101, -102, -103, -104, -106, -107, -108, -111, -112, -113, -114, -116, -117, -118, -119, -120, -121, -122, -123, -124, -125, -126, -128, -129, -130, -131, -132, -133, -134, -135, -136, -137, 138, -139, -140, -141, -143, -144, -145, -146, -148, -149, -150, -151, -154, -155, -156, -158, -159, -160, -162, -163, -164, -165, -166, -167, -168, -169, -170, -171, -172, -173, -174, -176, -177, -179, -180, -181, -182, -183, -184, -185, -186, -187, -189, -190, -191, -192, -193, -195, -196, -197, -198, -201, -202, -203, -205, -207, -208, -210, -211, -212, -213, -214, -215, -216, -217, -218, -219, -221, -222, -223, -225, -226, -227, -228, -229, 230, -231, -233, -234, -235, -237, -239, -242, -243, -245, -246, -247, -248, 249, -250, 251, 252, 253, 254, -255] -> ph3-2_1 


Detected pigeons:

 ph3-2_1 = [[-1041, 970], [-2437, -4103], [4160, 2877]]

[startup+1800.06 s]
# the end of solver process 412564 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1750.29 s, system=0.047869 s

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1750.33
CPU user time (s): 1750.29
CPU system time (s): 0.047869
CPU usage (%): 97.2374
Max. virtual memory (cumulated for all children) (KiB): 45092
Max. memory (cumulated for all children) (KiB): 20288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.29
system time used= 0.047869
maximum resident set size= 20308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 106197


# summary of solver processes directly reported to runsolver:
#   pid: 412564
#   total CPU time (s): 1750.33
#   total CPU user time (s): 1750.29
#   total CPU system time (s): 0.047869

??? end of timestamper thread
runsolver used 16.5265 second user time and 21.6282 second system time

The end
