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-130.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
solver pid=1185367, runsolver pid=1185366
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 0.06 0.17 0.49 2/424 1185368
/proc/meminfo: memFree=24241136/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=11884 CPUtime=0.1 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1808 0 0 0 10 0 0 0 20 0 1 0 388114022 40538112 2971 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 2971 1533 2 0 1667 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 11884 KiB

[startup+0.217243 s]*
/proc/loadavg: 0.06 0.17 0.49 2/424 1185368
/proc/meminfo: memFree=24240856/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=11884 CPUtime=0.21 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1808 0 0 0 21 0 0 0 20 0 1 0 388114022 40538112 2971 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 2971 1533 2 0 1667 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 11884 KiB

[startup+0.31391 s]*
/proc/loadavg: 0.06 0.17 0.49 2/424 1185368
/proc/meminfo: memFree=24240128/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=11884 CPUtime=0.31 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1808 0 0 0 31 0 0 0 20 0 1 0 388114022 40538112 2971 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 2971 1533 2 0 1667 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 11884 KiB

[startup+0.700297 s]
/proc/loadavg: 0.06 0.17 0.49 2/424 1185368
/proc/meminfo: memFree=24239932/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=11884 CPUtime=0.68 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1809 0 0 0 68 0 0 0 20 0 1 0 388114022 40538112 2971 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 2971 1533 2 0 1667 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 11884 KiB

[startup+1.5003 s]
/proc/loadavg: 0.13 0.18 0.49 2/424 1185368
/proc/meminfo: memFree=24239904/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=1.48 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1813 0 0 0 148 0 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+3.11288 s]
/proc/loadavg: 0.13 0.18 0.49 2/424 1185368
/proc/meminfo: memFree=24239932/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=3.09 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1833 0 0 0 309 0 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+6.30027 s]
/proc/loadavg: 0.20 0.19 0.49 2/424 1185368
/proc/meminfo: memFree=24239936/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=6.26 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1877 0 0 0 626 0 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+12.7003 s]
/proc/loadavg: 0.27 0.21 0.50 2/424 1185368
/proc/meminfo: memFree=24239968/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=12.64 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 1960 0 0 0 1264 0 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+25.5003 s]
/proc/loadavg: 0.38 0.23 0.50 2/424 1185368
/proc/meminfo: memFree=24239988/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=25.39 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 2128 0 0 0 2539 0 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+51.113 s]
/proc/loadavg: 0.62 0.31 0.52 2/425 1185370
/proc/meminfo: memFree=24239760/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=50.93 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 2464 0 0 0 5092 1 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+102.3 s]
/proc/loadavg: 0.84 0.42 0.55 2/425 1185379
/proc/meminfo: memFree=24239628/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=101.94 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 3138 0 0 0 10192 2 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+162.3 s]
/proc/loadavg: 0.94 0.53 0.58 2/426 1185389
/proc/meminfo: memFree=24239640/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=161.74 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 3932 0 0 0 16171 3 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.61 0.61 2/426 1185399
/proc/meminfo: memFree=24239448/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39588 memory=12048 CPUtime=221.52 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5002 0 0 0 22148 4 0 0 20 0 1 0 388114022 40538112 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9897 3012 1533 2 0 1667 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 12048 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.69 0.64 2/427 1185409
/proc/meminfo: memFree=24239552/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=281.2 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5708 0 0 0 28114 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.75 0.66 2/427 1185420
/proc/meminfo: memFree=24239448/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=340.86 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5819 0 0 0 34080 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.80 0.68 2/428 1185434
/proc/meminfo: memFree=24239272/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=400.52 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5823 0 0 0 40046 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 400.52 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.84 0.71 2/427 1185443
/proc/meminfo: memFree=24239424/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=460.18 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5826 0 0 0 46012 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 460.18 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.87 0.73 2/427 1185452
/proc/meminfo: memFree=24239532/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=519.85 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5827 0 0 0 51979 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 519.85 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.89 0.75 2/426 1185462
/proc/meminfo: memFree=24239544/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=579.52 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5828 0 0 0 57946 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 579.52 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.92 0.77 2/427 1185472
/proc/meminfo: memFree=24239556/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=639.19 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5828 0 0 0 63913 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 639.19 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+702.3 s]
/proc/loadavg: 1.00 0.93 0.78 2/425 1185481
/proc/meminfo: memFree=24239376/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=698.86 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5828 0 0 0 69880 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 698.86 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+762.3 s]
/proc/loadavg: 1.04 0.96 0.81 2/425 1185490
/proc/meminfo: memFree=24239368/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=758.53 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5828 0 0 0 75847 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 758.53 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+822.3 s]
/proc/loadavg: 1.41 1.07 0.85 2/426 1185501
/proc/meminfo: memFree=24239372/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=818.19 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 81813 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 818.19 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+882.3 s]
/proc/loadavg: 1.48 1.17 0.91 2/426 1185510
/proc/meminfo: memFree=24239356/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=877.86 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 87780 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 877.86 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+942.3 s]
/proc/loadavg: 1.18 1.14 0.91 2/425 1185520
/proc/meminfo: memFree=24239388/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=937.53 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 93747 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 937.53 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+1002.3 s]
/proc/loadavg: 1.06 1.11 0.92 2/425 1185530
/proc/meminfo: memFree=24239424/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=997.2 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 99714 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 997.2 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+1062.3 s]
/proc/loadavg: 1.02 1.09 0.93 2/425 1185540
/proc/meminfo: memFree=24239564/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=1056.87 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 105681 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 1056.87 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+1122.3 s]
/proc/loadavg: 1.01 1.07 0.93 2/424 1185549
/proc/meminfo: memFree=24239560/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=1116.54 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 111648 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 1116.54 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 0.94 2/424 1185559
/proc/meminfo: memFree=24239608/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12048 CPUtime=1176.21 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5829 0 0 0 117615 6 0 0 20 0 1 0 388114022 40800256 3012 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3012 1533 2 0 1731 0
Current children cumulated CPU time: 1176.21 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12048 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.04 0.94 2/424 1185568
/proc/meminfo: memFree=24239628/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1235.87 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 123581 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1235.87 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 0.95 2/424 1185577
/proc/meminfo: memFree=24239624/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1295.54 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 129548 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1295.54 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 0.96 2/425 1185587
/proc/meminfo: memFree=24239600/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1355.21 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 135515 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1355.21 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.02 0.96 2/425 1185597
/proc/meminfo: memFree=24239652/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1414.88 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 141482 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1414.88 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/425 1185606
/proc/meminfo: memFree=24239616/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1474.55 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 147449 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1474.55 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/425 1185616
/proc/meminfo: memFree=24239548/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1534.21 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 153415 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1534.21 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/426 1185627
/proc/meminfo: memFree=24239564/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1593.88 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 159382 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1593.88 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/426 1185636
/proc/meminfo: memFree=24239588/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1653.55 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 165349 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1653.55 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1185656
/proc/meminfo: memFree=24239324/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1713.21 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 171315 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1713.21 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1185665
/proc/meminfo: memFree=24239584/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1772.88 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 177282 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1772.88 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 1.00 2/425 1185674
/proc/meminfo: memFree=24239612/32713960 swapFree=33554428/33554428
[pid=1185367] ppid=1185366 vsize=39844 memory=12060 CPUtime=1790.49 cores=0-7
/proc/1185367/stat : 1185367 (pigeonPur.py) R 1185366 1185367 1184607 34816 1185366 4194304 5833 0 0 0 179043 6 0 0 20 0 1 0 388114022 40800256 3015 18446744073709551615 94794575872000 94794575876112 140726247520368 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94794577976576 94794577977348 94794592358400 140726247523588 140726247523699 140726247523699 140726247526354 0
/proc/1185367/statm: 9961 3015 1533 2 0 1731 0
Current children cumulated CPU time: 1790.49 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 12060 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1185367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1790.44 s, system=0.068549 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.51
CPU user time (s): 1790.44
CPU system time (s): 0.068549
CPU usage (%): 99.4713
Max. virtual memory (cumulated for all children) (KiB): 39844
Max. memory (cumulated for all children) (KiB): 12060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.44
system time used= 0.068549
maximum resident set size= 12060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6805
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= 11
involuntary context switches= 4356


# summary of solver processes directly reported to runsolver:
#   pid: 1185367
#   total CPU time (s): 1790.51
#   total CPU user time (s): 1790.44
#   total CPU system time (s): 0.068549

??? end of timestamper thread
runsolver used 12.001 second user time and 13.4042 second system time

The end
