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

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

running on 1 cores: 0

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


[startup+0.101111 s]*
/proc/loadavg: 0.04 0.01 0.09 9/554 1191166
/proc/meminfo: memFree=27397552/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=44644 memory=16976 CPUtime=0.06 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 3080 0 0 0 6 0 0 0 20 0 1 0 347435193 45715456 4244 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 11161 4244 1539 2 0 3573 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 44644 KiB
Current children cumulated memory: 16976 KiB

[startup+0.22311 s]*
/proc/loadavg: 0.04 0.01 0.09 7/554 1191166
/proc/meminfo: memFree=27352768/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=53092 memory=26440 CPUtime=0.16 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 5421 0 0 0 15 1 0 0 20 0 1 0 347435193 54366208 6610 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 13273 6610 1539 2 0 5685 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 26440 KiB

[startup+0.321109 s]*
/proc/loadavg: 0.04 0.01 0.09 9/554 1191166
/proc/meminfo: memFree=27336584/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=55904 memory=29236 CPUtime=0.24 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 6122 0 0 0 23 1 0 0 20 0 1 0 347435193 57245696 7309 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 13976 7309 1539 2 0 6388 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 55904 KiB
Current children cumulated memory: 29236 KiB

[startup+0.701109 s]
/proc/loadavg: 0.04 0.01 0.09 8/554 1191166
/proc/meminfo: memFree=27324288/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=0.57 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8213 0 0 0 55 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+1.50111 s]
/proc/loadavg: 0.04 0.01 0.09 9/554 1191166
/proc/meminfo: memFree=27321532/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=1.35 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8213 0 0 0 133 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+3.12111 s]
/proc/loadavg: 0.51 0.11 0.12 9/554 1191166
/proc/meminfo: memFree=27321564/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=2.92 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8214 0 0 0 290 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+6.30118 s]
/proc/loadavg: 0.51 0.11 0.12 9/554 1191166
/proc/meminfo: memFree=27321544/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=6.03 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8214 0 0 0 601 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+12.7011 s]
/proc/loadavg: 0.95 0.21 0.15 9/554 1191166
/proc/meminfo: memFree=27321660/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=12.26 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8228 0 0 0 1224 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+25.5011 s]
/proc/loadavg: 2.07 0.49 0.25 9/554 1191166
/proc/meminfo: memFree=27321980/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=24.74 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8228 0 0 0 2472 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 24.74 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+51.1201 s]
/proc/loadavg: 3.62 0.99 0.41 9/554 1191174
/proc/meminfo: memFree=27320140/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=49.68 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8228 0 0 0 4966 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+102.301 s]
/proc/loadavg: 5.12 1.81 0.73 9/554 1191184
/proc/meminfo: memFree=27319712/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=99.54 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 9952 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 99.54 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+162.301 s]
/proc/loadavg: 5.85 2.63 1.08 9/554 1191194
/proc/meminfo: memFree=27319660/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=157.97 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 15795 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 157.97 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+222.301 s]
/proc/loadavg: 5.95 3.25 1.39 10/554 1191203
/proc/meminfo: memFree=27318176/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=216.42 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 21640 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 216.42 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+282.301 s]
/proc/loadavg: 5.98 3.75 1.68 9/556 1191214
/proc/meminfo: memFree=27318100/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=274.85 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 27483 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 274.85 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+342.301 s]
/proc/loadavg: 6.00 4.16 1.95 9/554 1191224
/proc/meminfo: memFree=27317924/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=333.27 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 33325 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 333.27 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+402.301 s]
/proc/loadavg: 6.00 4.50 2.21 9/555 1191235
/proc/meminfo: memFree=27317936/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=391.71 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 39169 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 391.71 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+462.301 s]
/proc/loadavg: 6.00 4.78 2.45 9/555 1191244
/proc/meminfo: memFree=27317740/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=450.14 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 45012 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 450.14 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+522.301 s]
/proc/loadavg: 6.15 5.03 2.69 9/555 1191253
/proc/meminfo: memFree=27317832/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=508.57 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 50855 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 508.57 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+582.301 s]
/proc/loadavg: 6.10 5.23 2.90 9/553 1191263
/proc/meminfo: memFree=27317804/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=567 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 56698 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 567 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+642.301 s]
/proc/loadavg: 6.18 5.41 3.11 9/553 1191272
/proc/meminfo: memFree=27317820/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=625.43 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 62541 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 625.43 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+702.301 s]
/proc/loadavg: 6.06 5.52 3.30 9/552 1191281
/proc/meminfo: memFree=27316428/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=683.8 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 68378 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 683.8 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+762.301 s]
/proc/loadavg: 6.02 5.61 3.47 9/552 1191291
/proc/meminfo: memFree=27316520/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36080 CPUtime=742.24 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8229 0 0 0 74222 2 0 0 20 0 1 0 347435193 64364544 9020 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9020 1539 2 0 8126 0
Current children cumulated CPU time: 742.24 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36080 KiB

[startup+822.301 s]
/proc/loadavg: 6.01 5.69 3.63 9/553 1191301
/proc/meminfo: memFree=27314336/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36096 CPUtime=800.68 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8238 0 0 0 80066 2 0 0 20 0 1 0 347435193 64364544 9024 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9024 1539 2 0 8126 0
Current children cumulated CPU time: 800.68 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36096 KiB

[startup+882.301 s]
/proc/loadavg: 6.00 5.75 3.78 9/553 1191310
/proc/meminfo: memFree=27314652/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=859.11 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8304 0 0 0 85909 2 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 859.11 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+942.301 s]
/proc/loadavg: 6.00 5.80 3.92 10/553 1191320
/proc/meminfo: memFree=27314768/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=917.48 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8334 0 0 0 91746 2 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 917.48 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1002.3 s]
/proc/loadavg: 6.05 5.85 4.06 9/553 1191330
/proc/meminfo: memFree=27314776/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=975.94 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8344 0 0 0 97591 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 975.94 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1062.3 s]
/proc/loadavg: 7.44 6.25 4.31 9/553 1191339
/proc/meminfo: memFree=27314780/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1034.38 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8354 0 0 0 103435 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1034.38 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1122.3 s]
/proc/loadavg: 9.24 6.95 4.67 9/553 1191348
/proc/meminfo: memFree=27314640/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1092.81 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8364 0 0 0 109278 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1092.81 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1182.3 s]
/proc/loadavg: 10.00 7.61 5.04 9/552 1191358
/proc/meminfo: memFree=27314728/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1151.21 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8374 0 0 0 115118 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1151.21 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1242.3 s]
/proc/loadavg: 8.92 7.77 5.27 9/552 1191367
/proc/meminfo: memFree=27314604/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1209.65 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8384 0 0 0 120962 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1209.65 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1302.3 s]
/proc/loadavg: 7.43 7.58 5.36 9/553 1191377
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1268.08 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8394 0 0 0 126805 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1268.08 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1362.3 s]
/proc/loadavg: 6.52 7.29 5.40 9/553 1191387
/proc/meminfo: memFree=27314524/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1326.48 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8404 0 0 0 132645 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1326.48 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1422.3 s]
/proc/loadavg: 6.19 7.05 5.45 9/553 1191396
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1384.9 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8414 0 0 0 138487 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1384.9 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1482.3 s]
/proc/loadavg: 6.07 6.86 5.48 9/553 1191405
/proc/meminfo: memFree=27314508/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1443.35 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8424 0 0 0 144332 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1443.35 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1542.3 s]
/proc/loadavg: 6.02 6.70 5.52 9/553 1191415
/proc/meminfo: memFree=27314580/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1501.78 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8434 0 0 0 150175 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1501.78 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1602.3 s]
/proc/loadavg: 6.01 6.57 5.55 9/552 1191425
/proc/meminfo: memFree=27314612/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1560.16 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8444 0 0 0 156013 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1560.16 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1662.3 s]
/proc/loadavg: 6.13 6.51 5.60 10/552 1191434
/proc/meminfo: memFree=27314608/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1618.6 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8454 0 0 0 161857 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1618.6 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1722.3 s]
/proc/loadavg: 6.29 6.48 5.65 9/552 1191443
/proc/meminfo: memFree=27314516/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1677.05 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8464 0 0 0 167702 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1677.05 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

[startup+1782.3 s]
/proc/loadavg: 6.10 6.39 5.67 9/553 1191460
/proc/meminfo: memFree=27314428/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1735.46 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8474 0 0 0 173543 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1735.46 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.14 6.38 5.68 9/553 1191461
/proc/meminfo: memFree=27314392/32713960 swapFree=33554428/33554428
[pid=1191153] ppid=1191151 vsize=62856 memory=36308 CPUtime=1752.71 cores=0
/proc/1191153/stat : 1191153 (pigeonPur.py) R 1191151 1191153 1191101 0 -1 4194304 8474 0 0 0 175268 3 0 0 20 0 1 0 347435193 64364544 9077 18446744073709551615 94534404677632 94534404681744 140726966746752 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94534406782208 94534406782980 94534412017664 140726966747676 140726966747785 140726966747785 140726966751209 0
/proc/1191153/statm: 15714 9077 1539 2 0 8126 0
Current children cumulated CPU time: 1752.71 s
Current children cumulated vsize: 62856 KiB
Current children cumulated memory: 36308 KiB

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

Detected pigeons:

[startup+1800.11 s]
# the end of solver process 1191153 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1752.72 s, system=0.038203 s

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

Child status: 1
Real time (s): 1800.11
CPU time (s): 1752.76
CPU user time (s): 1752.72
CPU system time (s): 0.038203
CPU usage (%): 97.3698
Max. virtual memory (cumulated for all children) (KiB): 62856
Max. memory (cumulated for all children) (KiB): 36308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.72
system time used= 0.038203
maximum resident set size= 36308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8477
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= 16
involuntary context switches= 24742


# summary of solver processes directly reported to runsolver:
#   pid: 1191153
#   total CPU time (s): 1752.76
#   total CPU user time (s): 1752.72
#   total CPU system time (s): 0.038203

??? end of timestamper thread
runsolver used 15.6671 second user time and 19.7351 second system time

The end
