runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (12791 MiB free)
  memory of node 1: 16087 MiB (10887 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/SSA/ssa2670-141.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.10011 s]*
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24241568/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=0.11 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1654 0 0 0 11 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+0.216677 s]*
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24241308/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=0.22 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1654 0 0 0 22 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+0.313675 s]*
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24241124/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=0.31 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1656 0 0 0 31 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+0.70034 s]
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24240936/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=0.69 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1656 0 0 0 69 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+1.50029 s]
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24240940/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=1.48 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1657 0 0 0 148 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+3.11292 s]
/proc/loadavg: 0.00 0.29 0.67 2/425 1185737
/proc/meminfo: memFree=24240944/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=3.09 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1658 0 0 0 309 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+6.30027 s]
/proc/loadavg: 0.08 0.31 0.67 2/425 1185737
/proc/meminfo: memFree=24240872/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=6.27 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1659 0 0 0 627 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+12.7003 s]
/proc/loadavg: 0.15 0.32 0.67 2/425 1185738
/proc/meminfo: memFree=24240848/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=12.65 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1660 0 0 0 1265 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+25.5003 s]
/proc/loadavg: 0.34 0.35 0.68 2/425 1185739
/proc/meminfo: memFree=24240808/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11456 CPUtime=25.4 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1660 0 0 0 2540 0 0 0 20 0 1 0 388329322 40275968 2864 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2864 1557 2 0 1603 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11456 KiB

[startup+51.1129 s]
/proc/loadavg: 0.65 0.42 0.69 2/425 1185739
/proc/meminfo: memFree=24240708/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11532 CPUtime=50.92 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1871 0 0 0 5092 0 0 0 20 0 1 0 388329322 40275968 2883 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2883 1557 2 0 1603 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11532 KiB

[startup+102.3 s]
/proc/loadavg: 0.85 0.51 0.71 2/425 1185748
/proc/meminfo: memFree=24240668/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11532 CPUtime=101.84 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1892 0 0 0 10184 0 0 0 20 0 1 0 388329322 40275968 2883 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2883 1557 2 0 1603 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11532 KiB

[startup+162.3 s]
/proc/loadavg: 0.95 0.60 0.73 2/425 1185757
/proc/meminfo: memFree=24240704/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11536 CPUtime=161.52 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1912 0 0 0 16152 0 0 0 20 0 1 0 388329322 40275968 2884 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2884 1557 2 0 1603 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11536 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.68 0.75 2/425 1185767
/proc/meminfo: memFree=24240432/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11536 CPUtime=221.2 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1947 0 0 0 22120 0 0 0 20 0 1 0 388329322 40275968 2884 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2884 1557 2 0 1603 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11536 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.74 0.77 2/425 1185776
/proc/meminfo: memFree=24240452/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11536 CPUtime=280.88 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1968 0 0 0 28088 0 0 0 20 0 1 0 388329322 40275968 2884 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2884 1557 2 0 1603 0
Current children cumulated CPU time: 280.88 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11536 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.79 0.79 2/425 1185785
/proc/meminfo: memFree=24240460/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=340.55 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1970 0 0 0 34055 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 340.55 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.83 0.80 2/425 1185795
/proc/meminfo: memFree=24240380/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=400.23 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1971 0 0 0 40023 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 400.23 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.86 0.82 2/425 1185805
/proc/meminfo: memFree=24240412/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=459.91 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1971 0 0 0 45991 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 459.91 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.89 0.83 2/426 1185815
/proc/meminfo: memFree=24240356/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=519.59 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 51959 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 519.59 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.91 0.84 2/426 1185825
/proc/meminfo: memFree=24240404/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=579.27 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 57927 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 579.27 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.93 0.86 2/427 1185836
/proc/meminfo: memFree=24240388/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=638.95 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 63895 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 638.95 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+702.3 s]
/proc/loadavg: 1.07 0.96 0.87 2/426 1185845
/proc/meminfo: memFree=24240260/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=698.63 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 69863 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 698.63 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+762.3 s]
/proc/loadavg: 1.07 0.99 0.89 2/426 1185854
/proc/meminfo: memFree=24240276/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=758.31 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 75831 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 758.31 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+822.3 s]
/proc/loadavg: 1.14 1.02 0.91 2/425 1185864
/proc/meminfo: memFree=24240292/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=817.99 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1972 0 0 0 81799 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 817.99 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+882.3 s]
/proc/loadavg: 1.10 1.03 0.92 2/425 1185873
/proc/meminfo: memFree=24240280/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=877.68 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 87768 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 877.68 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+942.3 s]
/proc/loadavg: 1.03 1.02 0.93 2/424 1185882
/proc/meminfo: memFree=24240300/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=937.35 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 93735 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 937.35 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 0.93 2/424 1185891
/proc/meminfo: memFree=24240288/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=997.03 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 99703 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 997.03 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1062.3 s]
/proc/loadavg: 1.05 1.03 0.95 2/424 1185901
/proc/meminfo: memFree=24240344/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1056.71 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 105671 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1056.71 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1122.3 s]
/proc/loadavg: 1.02 1.02 0.95 2/424 1185910
/proc/meminfo: memFree=24240296/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1116.39 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 111639 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1116.39 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1182.3 s]
/proc/loadavg: 1.04 1.03 0.96 2/424 1185920
/proc/meminfo: memFree=24240288/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1176.07 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 117607 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1176.07 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 0.97 2/424 1185930
/proc/meminfo: memFree=24240244/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1235.74 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 123574 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1235.74 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/425 1185941
/proc/meminfo: memFree=24240208/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1295.41 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 129541 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1295.41 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/425 1185950
/proc/meminfo: memFree=24240212/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1355.09 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 135509 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1355.09 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1185960
/proc/meminfo: memFree=24240140/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1414.77 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 141477 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1414.77 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1185969
/proc/meminfo: memFree=24240216/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1474.45 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 147445 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1474.45 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1185978
/proc/meminfo: memFree=24240192/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1534.13 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 153413 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1534.13 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1185987
/proc/meminfo: memFree=24240208/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1593.81 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 159381 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1593.81 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/424 1185997
/proc/meminfo: memFree=24240192/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1653.5 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 165350 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1653.5 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1186007
/proc/meminfo: memFree=24240212/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11544 CPUtime=1713.18 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 1975 0 0 0 171318 0 0 0 20 0 1 0 388329322 40275968 2886 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2886 1557 2 0 1603 0
Current children cumulated CPU time: 1713.18 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11544 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1186017
/proc/meminfo: memFree=24240056/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11564 CPUtime=1772.93 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 2899 0 0 0 177293 0 0 0 20 0 1 0 388329322 40275968 2891 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2891 1557 2 0 1603 0
Current children cumulated CPU time: 1772.93 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11564 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 1.00 2/425 1186017
/proc/meminfo: memFree=24240088/32713960 swapFree=33554428/33554428
[pid=1185736] ppid=1185735 vsize=39332 memory=11564 CPUtime=1790.59 cores=0-7
/proc/1185736/stat : 1185736 (pigeonPur.py) R 1185735 1185736 1184607 34816 1185735 4194304 2908 0 0 0 179059 0 0 0 20 0 1 0 388329322 40275968 2891 18446744073709551615 94717650317312 94717650321424 140737164139040 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94717652421888 94717652422660 94717683535872 140737164145924 140737164146035 140737164146035 140737164148690 0
/proc/1185736/statm: 9833 2891 1557 2 0 1603 0
Current children cumulated CPU time: 1790.59 s
Current children cumulated vsize: 39332 KiB
Current children cumulated memory: 11564 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1185736 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1790.6 s, system=0.012942 s

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

Child status: 1
Real time (s): 1800.02
CPU time (s): 1790.61
CPU user time (s): 1790.6
CPU system time (s): 0.012942
CPU usage (%): 99.4772
Max. virtual memory (cumulated for all children) (KiB): 39332
Max. memory (cumulated for all children) (KiB): 11564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.6
system time used= 0.012942
maximum resident set size= 11564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3862
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= 8
involuntary context switches= 2827


# summary of solver processes directly reported to runsolver:
#   pid: 1185736
#   total CPU time (s): 1790.61
#   total CPU user time (s): 1790.6
#   total CPU system time (s): 0.012942

??? end of timestamper thread
runsolver used 11.5026 second user time and 13.9073 second system time

The end
