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: 1
  memory of node 0: 3639 MiB (1709 MiB free)
  node distances:
     10

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

running on 1 cores: 1

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


[startup+0.100348 s]*
/proc/loadavg: 0.00 0.02 0.04 5/458 343968
/proc/meminfo: memFree=1718608/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=40832 memory=13068 CPUtime=0.07 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 2141 0 0 0 6 1 0 0 20 0 1 0 182070681 41811968 3267 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 10208 3267 1493 2 0 2617 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40832 KiB
Current children cumulated memory: 13068 KiB

[startup+0.245355 s]*
/proc/loadavg: 0.00 0.02 0.04 7/458 343968
/proc/meminfo: memFree=1690132/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=45772 memory=18936 CPUtime=0.18 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 3595 0 0 0 17 1 0 0 20 0 1 0 182070681 46870528 4734 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 11443 4734 1493 2 0 3852 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45772 KiB
Current children cumulated memory: 18936 KiB

[startup+0.329361 s]*
/proc/loadavg: 0.00 0.02 0.04 5/458 343968
/proc/meminfo: memFree=1679932/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=47052 memory=20404 CPUtime=0.24 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4254 0 0 0 23 1 0 0 20 0 1 0 182070681 48181248 5101 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 11763 5101 1493 2 0 4172 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 20404 KiB

[startup+0.701365 s]
/proc/loadavg: 0.00 0.02 0.04 5/458 343968
/proc/meminfo: memFree=1666948/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=0.54 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4739 0 0 0 53 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+1.50136 s]
/proc/loadavg: 0.00 0.02 0.04 5/458 343968
/proc/meminfo: memFree=1650484/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=1.31 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4740 0 0 0 130 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+3.13336 s]
/proc/loadavg: 0.32 0.08 0.06 5/458 343968
/proc/meminfo: memFree=1647460/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=2.88 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4740 0 0 0 287 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+6.30136 s]
/proc/loadavg: 0.32 0.08 0.06 5/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=5.95 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4740 0 0 0 594 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+12.7014 s]
/proc/loadavg: 0.62 0.15 0.09 5/458 343968
/proc/meminfo: memFree=1647332/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=12.16 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4741 0 0 0 1215 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+25.5014 s]
/proc/loadavg: 1.37 0.34 0.15 5/458 343968
/proc/meminfo: memFree=1647444/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=24.54 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4741 0 0 0 2453 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+51.1314 s]
/proc/loadavg: 2.27 0.63 0.25 5/458 343976
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=49.34 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 4933 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 49.34 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB
[] -> ph6-5_1 


Final result:
['UNSAT', 0, 'ph6-5_1', [], []]

Detected pigeons:

 ph6-5_1 = [[132, 603, -615, -1004, 1120], [566, 295, -657, 97, 673], [-691, -1270, -1221, 265, 862], [-803, -378, -881, 822, -1], [1210, 201, 211, 716, 62], [1260, 1294, 794, 1105, -938]]

[startup+59.9487 s]
# the end of solver process 343956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=57.844 s, system=0.021683 s

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

[startup+51.2014 s]
/proc/loadavg: 2.27 0.63 0.25 5/458 343976
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=49.41 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 4940 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 49.41 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+54.4014 s]
/proc/loadavg: 2.41 0.69 0.27 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=52.51 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5250 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 52.51 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+57.6014 s]
/proc/loadavg: 2.41 0.69 0.27 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=55.62 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5561 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 55.62 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+59.2004 s]
/proc/loadavg: 2.53 0.74 0.29 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=57.16 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5715 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 57.16 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+59.6004 s]
/proc/loadavg: 2.53 0.74 0.29 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=57.55 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5754 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 57.55 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+59.8004 s]
/proc/loadavg: 2.53 0.74 0.29 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=49100 memory=22248 CPUtime=57.75 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5774 1 0 0 20 0 1 0 182070681 50278400 5562 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 12275 5562 1493 2 0 4684 0
Current children cumulated CPU time: 57.75 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 22248 KiB

[startup+59.9004 s]
/proc/loadavg: 2.53 0.74 0.29 5/457 343977
/proc/meminfo: memFree=1644416/3726824 swapFree=8388604/8388604
[pid=343956] ppid=343955 vsize=41164 memory=14424 CPUtime=57.85 cores=1
/proc/343956/stat : 343956 (pigeonPur.py) R 343955 343956 343935 0 -1 4194304 4743 0 0 0 5783 2 0 0 20 0 1 0 182070681 42151936 3606 18446744073709551615 93944117391360 93944117395472 140735691744032 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 93944119495936 93944119496708 93944150806528 140735691747872 140735691747978 140735691747978 140735691751401 0
/proc/343956/statm: 10291 3606 1493 2 0 2700 0
Current children cumulated CPU time: 57.85 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 14424 KiB

Child status: 0
Real time (s): 59.9487
CPU time (s): 57.8657
CPU user time (s): 57.844
CPU system time (s): 0.021683
CPU usage (%): 96.5252
Max. virtual memory (cumulated for all children) (KiB): 49100
Max. memory (cumulated for all children) (KiB): 22248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.844
system time used= 0.021683
maximum resident set size= 22248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 2554


# summary of solver processes directly reported to runsolver:
#   pid: 343956
#   total CPU time (s): 57.8657
#   total CPU user time (s): 57.844
#   total CPU system time (s): 0.021683

??? end of timestamper thread
runsolver used 0.584731 second user time and 0.967993 second system time

The end
