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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/Velev/3pipe_3_ooo.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=1228696, runsolver pid=1228695
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 0.02 0.35 0.67 2/426 1228697
/proc/meminfo: memFree=24228580/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=44408 memory=19440 CPUtime=0.1 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 3775 0 0 0 9 1 0 0 20 0 1 0 414236884 45473792 4860 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 11102 4860 1497 2 0 3514 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44408 KiB
Current children cumulated memory: 19440 KiB

[startup+0.216848 s]*
/proc/loadavg: 0.02 0.35 0.67 2/426 1228697
/proc/meminfo: memFree=24221040/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=50444 memory=25656 CPUtime=0.21 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 5352 0 0 0 20 1 0 0 20 0 1 0 414236884 51654656 6414 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 12611 6414 1497 2 0 5023 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50444 KiB
Current children cumulated memory: 25656 KiB

[startup+0.314984 s]*
/proc/loadavg: 0.02 0.35 0.67 2/426 1228697
/proc/meminfo: memFree=24219024/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52232 memory=27392 CPUtime=0.31 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6078 0 0 0 30 1 0 0 20 0 1 0 414236884 53485568 6848 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13058 6848 1497 2 0 5470 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52232 KiB
Current children cumulated memory: 27392 KiB

[startup+0.700363 s]
/proc/loadavg: 0.02 0.35 0.67 3/426 1228697
/proc/meminfo: memFree=24218464/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27392 CPUtime=0.68 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6114 0 0 0 67 1 0 0 20 0 1 0 414236884 53628928 6848 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6848 1497 2 0 5505 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27392 KiB

[startup+1.50033 s]
/proc/loadavg: 0.02 0.35 0.67 2/426 1228697
/proc/meminfo: memFree=24218464/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=1.48 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 147 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+3.11417 s]
/proc/loadavg: 0.02 0.35 0.67 2/426 1228697
/proc/meminfo: memFree=24218464/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=3.09 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 308 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+6.30031 s]
/proc/loadavg: 0.10 0.36 0.67 2/426 1228697
/proc/meminfo: memFree=24218244/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=6.26 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 625 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+12.7003 s]
/proc/loadavg: 0.17 0.37 0.67 2/426 1228697
/proc/meminfo: memFree=24218220/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=12.64 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 1263 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+25.5003 s]
/proc/loadavg: 0.36 0.40 0.68 2/426 1228705
/proc/meminfo: memFree=24218128/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=25.4 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 2539 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+51.1143 s]
/proc/loadavg: 0.58 0.45 0.69 2/426 1228706
/proc/meminfo: memFree=24218040/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=50.94 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 5093 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+102.3 s]
/proc/loadavg: 0.82 0.54 0.71 2/425 1228716
/proc/meminfo: memFree=24217952/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27656 CPUtime=101.97 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 6115 0 0 0 10196 1 0 0 20 0 1 0 414236884 53628928 6914 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6914 1497 2 0 5505 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27656 KiB

[startup+162.3 s]
/proc/loadavg: 0.93 0.62 0.73 3/425 1228726
/proc/meminfo: memFree=24217808/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=161.66 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7899 0 0 0 16164 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+222.3 s]
/proc/loadavg: 0.98 0.69 0.75 2/424 1228735
/proc/meminfo: memFree=24217792/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=221.33 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7919 0 0 0 22131 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+282.3 s]
/proc/loadavg: 0.99 0.75 0.77 2/424 1228744
/proc/meminfo: memFree=24218024/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=281.01 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7927 0 0 0 28099 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 281.01 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.80 0.78 2/425 1228755
/proc/meminfo: memFree=24217988/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=340.69 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7940 0 0 0 34067 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 340.69 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.84 0.80 2/426 1228765
/proc/meminfo: memFree=24217884/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=400.37 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7947 0 0 0 40035 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 400.37 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.87 0.82 2/426 1228774
/proc/meminfo: memFree=24217928/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=460.05 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7953 0 0 0 46003 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 460.05 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.90 0.83 2/426 1228782
/proc/meminfo: memFree=24217940/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27660 CPUtime=519.73 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7958 0 0 0 51971 2 0 0 20 0 1 0 414236884 53628928 6915 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6915 1497 2 0 5505 0
Current children cumulated CPU time: 519.73 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27660 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.92 0.84 2/426 1228793
/proc/meminfo: memFree=24217928/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27676 CPUtime=579.4 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7963 0 0 0 57938 2 0 0 20 0 1 0 414236884 53628928 6919 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6919 1497 2 0 5505 0
Current children cumulated CPU time: 579.4 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27676 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.94 0.85 2/426 1228802
/proc/meminfo: memFree=24217832/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27676 CPUtime=639.08 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 7968 0 0 0 63906 2 0 0 20 0 1 0 414236884 53628928 6919 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6919 1497 2 0 5505 0
Current children cumulated CPU time: 639.08 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27676 KiB

[startup+702.3 s]
/proc/loadavg: 1.00 0.95 0.87 2/424 1228812
/proc/meminfo: memFree=24217652/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27676 CPUtime=698.85 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9278 0 0 0 69882 3 0 0 20 0 1 0 414236884 53628928 6919 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6919 1497 2 0 5505 0
Current children cumulated CPU time: 698.85 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27676 KiB

[startup+762.3 s]
/proc/loadavg: 1.00 0.96 0.88 2/424 1228822
/proc/meminfo: memFree=24217792/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27676 CPUtime=758.67 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9589 0 0 0 75864 3 0 0 20 0 1 0 414236884 53628928 6919 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6919 1497 2 0 5505 0
Current children cumulated CPU time: 758.67 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27676 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/425 1228832
/proc/meminfo: memFree=24217828/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27680 CPUtime=818.5 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9618 0 0 0 81847 3 0 0 20 0 1 0 414236884 53628928 6920 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6920 1497 2 0 5505 0
Current children cumulated CPU time: 818.5 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27680 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.98 0.90 2/426 1228842
/proc/meminfo: memFree=24217668/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27680 CPUtime=878.32 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9640 0 0 0 87829 3 0 0 20 0 1 0 414236884 53628928 6920 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6920 1497 2 0 5505 0
Current children cumulated CPU time: 878.32 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27680 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/426 1228852
/proc/meminfo: memFree=24217772/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52372 memory=27680 CPUtime=938.14 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9659 0 0 0 93811 3 0 0 20 0 1 0 414236884 53628928 6920 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13093 6920 1497 2 0 5505 0
Current children cumulated CPU time: 938.14 s
Current children cumulated vsize: 52372 KiB
Current children cumulated memory: 27680 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/426 1228861
/proc/meminfo: memFree=24217524/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=997.96 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9765 0 0 0 99793 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 997.96 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/426 1228870
/proc/meminfo: memFree=24217484/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1057.79 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9770 0 0 0 105776 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1057.79 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/425 1228879
/proc/meminfo: memFree=24217468/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1117.61 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9775 0 0 0 111758 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1117.61 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/424 1228889
/proc/meminfo: memFree=24217456/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1177.43 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9780 0 0 0 117740 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1177.43 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/424 1228898
/proc/meminfo: memFree=24217496/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1237.25 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9785 0 0 0 123722 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1237.25 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/424 1228908
/proc/meminfo: memFree=24217500/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1297.08 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9790 0 0 0 129705 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1297.08 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/424 1228918
/proc/meminfo: memFree=24217468/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1356.9 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9795 0 0 0 135687 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1356.9 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/424 1228927
/proc/meminfo: memFree=24217452/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1416.72 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9800 0 0 0 141669 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1416.72 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/424 1228936
/proc/meminfo: memFree=24217504/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1476.54 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9805 0 0 0 147651 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1476.54 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/424 1228946
/proc/meminfo: memFree=24217564/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27920 CPUtime=1536.37 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9810 0 0 0 153634 3 0 0 20 0 1 0 414236884 53891072 6980 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6980 1497 2 0 5569 0
Current children cumulated CPU time: 1536.37 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27920 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/425 1228956
/proc/meminfo: memFree=24217560/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27948 CPUtime=1596.19 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9815 0 0 0 159616 3 0 0 20 0 1 0 414236884 53891072 6987 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6987 1497 2 0 5569 0
Current children cumulated CPU time: 1596.19 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27948 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/425 1228965
/proc/meminfo: memFree=24217548/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27948 CPUtime=1656.01 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9820 0 0 0 165598 3 0 0 20 0 1 0 414236884 53891072 6987 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6987 1497 2 0 5569 0
Current children cumulated CPU time: 1656.01 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27948 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1228974
/proc/meminfo: memFree=24217492/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27948 CPUtime=1715.83 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9825 0 0 0 171580 3 0 0 20 0 1 0 414236884 53891072 6987 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6987 1497 2 0 5569 0
Current children cumulated CPU time: 1715.83 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27948 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/425 1228984
/proc/meminfo: memFree=24217544/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27948 CPUtime=1775.66 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9830 0 0 0 177563 3 0 0 20 0 1 0 414236884 53891072 6987 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6987 1497 2 0 5569 0
Current children cumulated CPU time: 1775.66 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 0.99 2/425 1228984
/proc/meminfo: memFree=24217556/32713960 swapFree=33554428/33554428
[pid=1228696] ppid=1228695 vsize=52628 memory=27948 CPUtime=1793.32 cores=0-7
/proc/1228696/stat : 1228696 (pigeonPur.py) R 1228695 1228696 1224781 34816 1228695 4194304 9830 0 0 0 179329 3 0 0 20 0 1 0 414236884 53891072 6987 18446744073709551615 94711547666432 94711547670544 140735360936640 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94711549771008 94711549771780 94711574663168 140735360943354 140735360943467 140735360943467 140735360946130 0
/proc/1228696/statm: 13157 6987 1497 2 0 5569 0
Current children cumulated CPU time: 1793.32 s
Current children cumulated vsize: 52628 KiB
Current children cumulated memory: 27948 KiB

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

Detected pigeons:

[startup+1800.03 s]
# the end of solver process 1228696 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1793.31 s, system=0.036834 s

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

Child status: 1
Real time (s): 1800.03
CPU time (s): 1793.35
CPU user time (s): 1793.31
CPU system time (s): 0.036834
CPU usage (%): 99.6286
Max. virtual memory (cumulated for all children) (KiB): 52628
Max. memory (cumulated for all children) (KiB): 27948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 0.036834
maximum resident set size= 27948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11190
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= 12
involuntary context switches= 2310


# summary of solver processes directly reported to runsolver:
#   pid: 1228696
#   total CPU time (s): 1793.35
#   total CPU user time (s): 1793.31
#   total CPU system time (s): 0.036834

??? end of timestamper thread
runsolver used 11.8989 second user time and 14.7457 second system time

The end
