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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/fgpa_routing/too_large_gr_rcs_w6.shuffled.cnf 

running on 1 cores: 3

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


[startup+0.100288 s]*
/proc/loadavg: 0.04 0.01 0.09 15/554 1191166
/proc/meminfo: memFree=27391180/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=45616 memory=17888 CPUtime=0.07 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 3320 0 0 0 7 0 0 0 20 0 1 0 347435195 46710784 4472 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 11404 4472 1479 2 0 3816 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45616 KiB
Current children cumulated memory: 17888 KiB

[startup+0.225289 s]*
/proc/loadavg: 0.04 0.01 0.09 12/554 1191166
/proc/meminfo: memFree=27348028/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=51744 memory=24888 CPUtime=0.18 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 5112 0 0 0 17 1 0 0 20 0 1 0 347435195 52985856 6222 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 12936 6222 1495 2 0 5348 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 51744 KiB
Current children cumulated memory: 24888 KiB

[startup+0.320293 s]*
/proc/loadavg: 0.04 0.01 0.09 12/554 1191166
/proc/meminfo: memFree=27336300/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=55588 memory=28736 CPUtime=0.27 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 6082 0 0 0 26 1 0 0 20 0 1 0 347435195 56922112 7184 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 13897 7184 1495 2 0 6309 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 55588 KiB
Current children cumulated memory: 28736 KiB

[startup+0.700289 s]
/proc/loadavg: 0.04 0.01 0.09 13/554 1191166
/proc/meminfo: memFree=27324288/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=0.58 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7219 0 0 0 57 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+1.50029 s]
/proc/loadavg: 0.04 0.01 0.09 11/554 1191166
/proc/meminfo: memFree=27321532/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=1.36 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7219 0 0 0 135 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+3.11829 s]
/proc/loadavg: 0.51 0.11 0.12 14/554 1191166
/proc/meminfo: memFree=27321564/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=2.94 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7219 0 0 0 293 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+6.30029 s]
/proc/loadavg: 0.51 0.11 0.12 11/554 1191166
/proc/meminfo: memFree=27321544/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=6.06 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7220 0 0 0 605 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.21 0.15 12/554 1191166
/proc/meminfo: memFree=27321660/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=12.33 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7221 0 0 0 1232 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+25.5013 s]
/proc/loadavg: 2.07 0.49 0.25 12/554 1191166
/proc/meminfo: memFree=27321980/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=24.85 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7222 0 0 0 2484 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+51.1213 s]
/proc/loadavg: 3.62 0.99 0.41 13/554 1191174
/proc/meminfo: memFree=27320140/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=49.9 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7222 0 0 0 4989 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 49.9 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+102.301 s]
/proc/loadavg: 5.12 1.81 0.73 12/554 1191184
/proc/meminfo: memFree=27319712/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=99.97 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7222 0 0 0 9996 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 99.97 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+162.3 s]
/proc/loadavg: 5.85 2.63 1.08 12/554 1191194
/proc/meminfo: memFree=27319660/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=158.67 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7222 0 0 0 15866 1 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 158.67 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+222.3 s]
/proc/loadavg: 5.95 3.25 1.39 11/554 1191203
/proc/meminfo: memFree=27318176/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=217.38 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 21736 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 217.38 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+282.3 s]
/proc/loadavg: 5.98 3.75 1.68 12/556 1191214
/proc/meminfo: memFree=27318100/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=276.07 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 27605 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 276.07 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+342.301 s]
/proc/loadavg: 6.00 4.16 1.95 13/554 1191224
/proc/meminfo: memFree=27317924/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=334.77 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 33475 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 334.77 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+402.3 s]
/proc/loadavg: 6.00 4.50 2.21 12/555 1191235
/proc/meminfo: memFree=27317936/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=393.47 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 39345 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 393.47 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+462.3 s]
/proc/loadavg: 6.00 4.78 2.45 12/555 1191244
/proc/meminfo: memFree=27317740/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=452.17 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 45215 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 452.17 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+522.3 s]
/proc/loadavg: 6.15 5.03 2.69 13/555 1191253
/proc/meminfo: memFree=27317832/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=510.87 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 51085 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 510.87 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+582.3 s]
/proc/loadavg: 6.10 5.23 2.90 12/553 1191263
/proc/meminfo: memFree=27317804/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=569.56 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 56954 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 569.56 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+642.3 s]
/proc/loadavg: 6.18 5.41 3.11 11/553 1191272
/proc/meminfo: memFree=27317820/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=628.27 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 62825 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 628.27 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+702.301 s]
/proc/loadavg: 6.06 5.52 3.30 12/552 1191281
/proc/meminfo: memFree=27316428/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=686.93 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 68691 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 686.93 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+762.3 s]
/proc/loadavg: 6.02 5.61 3.47 12/552 1191291
/proc/meminfo: memFree=27316520/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=32108 CPUtime=745.62 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7223 0 0 0 74560 2 0 0 20 0 1 0 347435195 60477440 8027 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8027 1495 2 0 7177 0
Current children cumulated CPU time: 745.62 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32108 KiB

[startup+822.3 s]
/proc/loadavg: 6.01 5.69 3.63 13/553 1191301
/proc/meminfo: memFree=27314336/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33156 CPUtime=804.34 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7256 0 0 0 80432 2 0 0 20 0 1 0 347435195 60477440 8289 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8289 1495 2 0 7177 0
Current children cumulated CPU time: 804.34 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33156 KiB

[startup+882.3 s]
/proc/loadavg: 6.00 5.75 3.78 13/553 1191310
/proc/meminfo: memFree=27314652/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=863.04 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7284 0 0 0 86302 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 863.04 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+942.3 s]
/proc/loadavg: 6.00 5.80 3.92 12/553 1191320
/proc/meminfo: memFree=27314768/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=921.69 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7291 0 0 0 92167 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 921.69 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+1002.3 s]
/proc/loadavg: 6.05 5.85 4.06 12/553 1191330
/proc/meminfo: memFree=27314776/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=980.39 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7305 0 0 0 98037 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 980.39 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+1062.3 s]
/proc/loadavg: 7.44 6.25 4.31 13/553 1191339
/proc/meminfo: memFree=27314780/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=1039.1 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7312 0 0 0 103908 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 1039.1 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+1122.3 s]
/proc/loadavg: 9.24 6.95 4.67 13/553 1191348
/proc/meminfo: memFree=27314640/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=1097.78 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7319 0 0 0 109776 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 1097.78 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+1182.3 s]
/proc/loadavg: 10.00 7.61 5.04 12/552 1191358
/proc/meminfo: memFree=27314728/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33264 CPUtime=1156.45 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7327 0 0 0 115643 2 0 0 20 0 1 0 347435195 60477440 8316 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8316 1495 2 0 7177 0
Current children cumulated CPU time: 1156.45 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33264 KiB

[startup+1242.3 s]
/proc/loadavg: 8.92 7.77 5.27 11/552 1191367
/proc/meminfo: memFree=27314604/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1215.16 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7334 0 0 0 121514 2 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1215.16 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1302.3 s]
/proc/loadavg: 7.43 7.58 5.36 11/553 1191377
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1273.86 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7341 0 0 0 127384 2 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1273.86 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1362.3 s]
/proc/loadavg: 6.52 7.29 5.40 12/553 1191387
/proc/meminfo: memFree=27314524/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1332.53 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7348 0 0 0 133251 2 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1332.53 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1422.3 s]
/proc/loadavg: 6.19 7.05 5.45 11/553 1191396
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1391.23 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7355 0 0 0 139120 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1391.23 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1482.3 s]
/proc/loadavg: 6.07 6.86 5.48 12/553 1191405
/proc/meminfo: memFree=27314508/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1449.93 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7362 0 0 0 144990 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1449.93 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1542.3 s]
/proc/loadavg: 6.02 6.70 5.52 13/553 1191415
/proc/meminfo: memFree=27314580/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1508.63 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7362 0 0 0 150860 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1508.63 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1602.3 s]
/proc/loadavg: 6.01 6.57 5.55 12/552 1191425
/proc/meminfo: memFree=27314612/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1567.29 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7369 0 0 0 156726 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1567.29 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1662.3 s]
/proc/loadavg: 6.13 6.51 5.60 12/552 1191434
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1625.99 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7376 0 0 0 162596 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1625.99 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1722.3 s]
/proc/loadavg: 6.29 6.48 5.65 13/552 1191443
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1684.7 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7383 0 0 0 168467 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1684.7 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

[startup+1782.3 s]
/proc/loadavg: 6.10 6.39 5.67 12/553 1191460
/proc/meminfo: memFree=27314428/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1743.39 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7390 0 0 0 174336 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1743.39 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.14 6.38 5.68 12/553 1191461
/proc/meminfo: memFree=27314392/32713960 swapFree=33554428/33554428
[pid=1191165] ppid=1191164 vsize=59060 memory=33268 CPUtime=1760.71 cores=3
/proc/1191165/stat : 1191165 (pigeonPur.py) R 1191164 1191165 1191140 0 -1 4194304 7397 0 0 0 176068 3 0 0 20 0 1 0 347435195 60477440 8317 18446744073709551615 94045510967296 94045510971408 140734067640832 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 1 0 0 94045513071872 94045513072644 94045533659136 140734067647004 140734067647113 140734067647113 140734067650537 0
/proc/1191165/statm: 14765 8317 1495 2 0 7177 0
Current children cumulated CPU time: 1760.71 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 33268 KiB

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

Detected pigeons:

[startup+1800.09 s]
# the end of solver process 1191165 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1760.72 s, system=0.035183 s

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

Child status: 1
Real time (s): 1800.09
CPU time (s): 1760.76
CPU user time (s): 1760.72
CPU system time (s): 0.035183
CPU usage (%): 97.8148
Max. virtual memory (cumulated for all children) (KiB): 59060
Max. memory (cumulated for all children) (KiB): 33268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.72
system time used= 0.035183
maximum resident set size= 33268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7401
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= 13
involuntary context switches= 24844


# summary of solver processes directly reported to runsolver:
#   pid: 1191165
#   total CPU time (s): 1760.76
#   total CPU user time (s): 1760.72
#   total CPU system time (s): 0.035183

??? end of timestamper thread
runsolver used 14.6039 second user time and 17.8155 second system time

The end
