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 (12726 MiB free)
  memory of node 1: 16087 MiB (10948 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/QG/qg4-08.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=1225887, runsolver pid=1225886
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24234856/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39312 memory=14292 CPUtime=0.1 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2443 0 0 0 10 0 0 0 20 0 1 0 412552636 40255488 3573 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9828 3573 1477 2 0 2240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 14292 KiB

[startup+0.217655 s]*
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24234596/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39312 memory=14292 CPUtime=0.21 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2445 0 0 0 21 0 0 0 20 0 1 0 412552636 40255488 3573 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9828 3573 1477 2 0 2240 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 14292 KiB

[startup+0.314059 s]*
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24234316/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39312 memory=14292 CPUtime=0.31 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2445 0 0 0 31 0 0 0 20 0 1 0 412552636 40255488 3573 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9828 3573 1477 2 0 2240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 14292 KiB

[startup+0.700295 s]
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24234036/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39312 memory=14292 CPUtime=0.68 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2445 0 0 0 68 0 0 0 20 0 1 0 412552636 40255488 3573 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9828 3573 1477 2 0 2240 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 14292 KiB

[startup+1.5003 s]
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24234036/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=1.48 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2514 0 0 0 148 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+3.11319 s]
/proc/loadavg: 0.19 0.37 0.65 2/425 1225888
/proc/meminfo: memFree=24233636/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=3.09 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2516 0 0 0 309 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+6.30028 s]
/proc/loadavg: 0.26 0.38 0.65 2/425 1225888
/proc/meminfo: memFree=24233636/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=6.26 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2517 0 0 0 626 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+12.7003 s]
/proc/loadavg: 0.32 0.39 0.66 2/425 1225888
/proc/meminfo: memFree=24233528/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=12.64 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2523 0 0 0 1264 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+25.5003 s]
/proc/loadavg: 0.47 0.42 0.66 2/425 1225888
/proc/meminfo: memFree=24233524/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=25.4 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2528 0 0 0 2540 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+51.1131 s]
/proc/loadavg: 0.65 0.47 0.67 2/425 1225889
/proc/meminfo: memFree=24233304/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=50.92 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2531 0 0 0 5092 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+102.3 s]
/proc/loadavg: 0.85 0.55 0.69 2/426 1225898
/proc/meminfo: memFree=24233328/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=101.94 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2534 0 0 0 10194 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+162.3 s]
/proc/loadavg: 0.95 0.63 0.71 2/428 1225920
/proc/meminfo: memFree=24232604/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=161.73 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2536 0 0 0 16173 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.70 0.73 2/428 1225930
/proc/meminfo: memFree=24232540/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14552 CPUtime=221.52 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2537 0 0 0 22152 0 0 0 20 0 1 0 412552636 40517632 3638 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3638 1477 2 0 2304 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14552 KiB

[startup+282.3 s]
/proc/loadavg: 1.00 0.76 0.75 2/428 1225939
/proc/meminfo: memFree=24232516/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=281.21 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2796 0 0 0 28121 0 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.81 0.77 2/427 1225948
/proc/meminfo: memFree=24232532/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=340.9 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2799 0 0 0 34090 0 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.84 0.79 2/426 1225958
/proc/meminfo: memFree=24232536/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=400.59 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2856 0 0 0 40059 0 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.87 0.81 2/424 1225969
/proc/meminfo: memFree=24232456/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=460.27 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2857 0 0 0 46027 0 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 460.27 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.90 0.82 2/425 1225979
/proc/meminfo: memFree=24232512/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=519.96 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2878 0 0 0 51995 1 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 519.96 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.92 0.83 2/425 1225988
/proc/meminfo: memFree=24232592/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=579.65 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2879 0 0 0 57964 1 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 579.65 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.94 0.84 2/425 1225998
/proc/meminfo: memFree=24232660/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=39568 memory=14704 CPUtime=639.34 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 2881 0 0 0 63933 1 0 0 20 0 1 0 412552636 40517632 3676 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 9892 3676 1477 2 0 2304 0
Current children cumulated CPU time: 639.34 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 14704 KiB
[] -> []


[startup+702.3 s]
/proc/loadavg: 1.00 0.95 0.86 2/426 1226008
/proc/meminfo: memFree=24231356/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40464 memory=15532 CPUtime=699.02 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 3527 0 0 0 69901 1 0 0 20 0 1 0 412552636 41435136 3883 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10116 3883 1477 2 0 2528 0
Current children cumulated CPU time: 699.02 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 15532 KiB

[startup+762.3 s]
/proc/loadavg: 1.04 0.97 0.87 2/426 1226018
/proc/meminfo: memFree=24231392/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40464 memory=15732 CPUtime=758.81 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 3941 0 0 0 75880 1 0 0 20 0 1 0 412552636 41435136 3933 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10116 3933 1477 2 0 2528 0
Current children cumulated CPU time: 758.81 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 15732 KiB

[startup+822.3 s]
/proc/loadavg: 1.01 0.98 0.89 2/426 1226028
/proc/meminfo: memFree=24231428/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40464 memory=15732 CPUtime=818.61 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4048 0 0 0 81860 1 0 0 20 0 1 0 412552636 41435136 3933 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10116 3933 1477 2 0 2528 0
Current children cumulated CPU time: 818.61 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 15732 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.99 0.90 2/425 1226037
/proc/meminfo: memFree=24231540/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40464 memory=15732 CPUtime=878.42 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4059 0 0 0 87841 1 0 0 20 0 1 0 412552636 41435136 3933 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10116 3933 1477 2 0 2528 0
Current children cumulated CPU time: 878.42 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 15732 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/425 1226046
/proc/meminfo: memFree=24231492/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40464 memory=15740 CPUtime=938.22 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4125 0 0 0 93821 1 0 0 20 0 1 0 412552636 41435136 3935 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10116 3935 1477 2 0 2528 0
Current children cumulated CPU time: 938.22 s
Current children cumulated vsize: 40464 KiB
Current children cumulated memory: 15740 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/424 1226056
/proc/meminfo: memFree=24231556/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40720 memory=15748 CPUtime=998.02 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4142 0 0 0 99801 1 0 0 20 0 1 0 412552636 41697280 3937 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10180 3937 1477 2 0 2592 0
Current children cumulated CPU time: 998.02 s
Current children cumulated vsize: 40720 KiB
Current children cumulated memory: 15748 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/424 1226065
/proc/meminfo: memFree=24231500/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40720 memory=15748 CPUtime=1057.83 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4144 0 0 0 105782 1 0 0 20 0 1 0 412552636 41697280 3937 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10180 3937 1477 2 0 2592 0
Current children cumulated CPU time: 1057.83 s
Current children cumulated vsize: 40720 KiB
Current children cumulated memory: 15748 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/424 1226075
/proc/meminfo: memFree=24231616/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40720 memory=15748 CPUtime=1117.64 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4145 0 0 0 111763 1 0 0 20 0 1 0 412552636 41697280 3937 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10180 3937 1477 2 0 2592 0
Current children cumulated CPU time: 1117.64 s
Current children cumulated vsize: 40720 KiB
Current children cumulated memory: 15748 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/424 1226084
/proc/meminfo: memFree=24231564/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=40720 memory=15748 CPUtime=1177.44 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4145 0 0 0 117743 1 0 0 20 0 1 0 412552636 41697280 3937 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10180 3937 1477 2 0 2592 0
Current children cumulated CPU time: 1177.44 s
Current children cumulated vsize: 40720 KiB
Current children cumulated memory: 15748 KiB
[-39] -> []


[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/425 1226095
/proc/meminfo: memFree=24230824/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1237.24 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4847 0 0 0 123723 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1237.24 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/426 1226105
/proc/meminfo: memFree=24230724/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1297.05 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4848 0 0 0 129704 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1297.05 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/426 1226115
/proc/meminfo: memFree=24230752/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1356.85 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4851 0 0 0 135684 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1356.85 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/426 1226125
/proc/meminfo: memFree=24230816/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1416.66 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4853 0 0 0 141665 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1416.66 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/426 1226134
/proc/meminfo: memFree=24230324/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1476.46 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4855 0 0 0 147645 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1476.46 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/426 1226143
/proc/meminfo: memFree=24230688/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16372 CPUtime=1536.27 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4857 0 0 0 153626 1 0 0 20 0 1 0 412552636 42221568 4093 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4093 1477 2 0 2720 0
Current children cumulated CPU time: 1536.27 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16372 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/424 1226153
/proc/meminfo: memFree=24230700/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16584 CPUtime=1596.07 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4864 0 0 0 159606 1 0 0 20 0 1 0 412552636 42221568 4146 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4146 1477 2 0 2720 0
Current children cumulated CPU time: 1596.07 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16584 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/424 1226162
/proc/meminfo: memFree=24230744/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16584 CPUtime=1655.88 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4866 0 0 0 165587 1 0 0 20 0 1 0 412552636 42221568 4146 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4146 1477 2 0 2720 0
Current children cumulated CPU time: 1655.88 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16584 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/424 1226171
/proc/meminfo: memFree=24230744/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16584 CPUtime=1715.68 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4868 0 0 0 171567 1 0 0 20 0 1 0 412552636 42221568 4146 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4146 1477 2 0 2720 0
Current children cumulated CPU time: 1715.68 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16584 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1226181
/proc/meminfo: memFree=24230720/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16584 CPUtime=1775.49 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4870 0 0 0 177548 1 0 0 20 0 1 0 412552636 42221568 4146 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4146 1477 2 0 2720 0
Current children cumulated CPU time: 1775.49 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16584 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.99 2/425 1226190
/proc/meminfo: memFree=24230668/32713960 swapFree=33554428/33554428
[pid=1225887] ppid=1225886 vsize=41232 memory=16584 CPUtime=1793.15 cores=0-7
/proc/1225887/stat : 1225887 (pigeonPur.py) R 1225886 1225887 1224781 34816 1225886 4194304 4872 0 0 0 179314 1 0 0 20 0 1 0 412552636 42221568 4146 18446744073709551615 94170708422656 94170708426768 140733042395888 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94170710527232 94170710528004 94170740080640 140733042398469 140733042398574 140733042398574 140733042401234 0
/proc/1225887/statm: 10308 4146 1477 2 0 2720 0
Current children cumulated CPU time: 1793.15 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 16584 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1225887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1793.15 s, system=0.015935 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): 1793.16
CPU user time (s): 1793.15
CPU system time (s): 0.015935
CPU usage (%): 99.619
Max. virtual memory (cumulated for all children) (KiB): 41232
Max. memory (cumulated for all children) (KiB): 16584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.15
system time used= 0.015935
maximum resident set size= 16584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5891
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= 10
involuntary context switches= 2455


# summary of solver processes directly reported to runsolver:
#   pid: 1225887
#   total CPU time (s): 1793.16
#   total CPU user time (s): 1793.15
#   total CPU system time (s): 0.015935

??? end of timestamper thread
runsolver used 12.0144 second user time and 13.1456 second system time

The end
