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: 3630 MiB (1725 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/fgpa_routing/c499_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-305.3.1.el8.x86_64
solver pid=339854, runsolver pid=339847
Current StackSize limit: 8192 KiB


[startup+0.104358 s]*
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1736048/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=40544 memory=12804 CPUtime=0.07 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 2072 0 0 0 6 1 0 0 20 0 1 0 182316670 41517056 3201 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 2 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 10136 3201 1495 2 0 2545 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40544 KiB
Current children cumulated memory: 12804 KiB

[startup+0.236358 s]*
/proc/loadavg: 0.00 0.00 0.03 8/472 339856
/proc/meminfo: memFree=1710092/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=44424 memory=17676 CPUtime=0.17 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3267 0 0 0 16 1 0 0 20 0 1 0 182316670 45490176 4419 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11106 4419 1511 2 0 3515 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 17676 KiB

[startup+0.333361 s]*
/proc/loadavg: 0.00 0.00 0.03 9/472 339856
/proc/meminfo: memFree=1697996/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=0.25 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3490 0 0 0 24 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+0.701348 s]
/proc/loadavg: 0.00 0.00 0.03 9/472 339856
/proc/meminfo: memFree=1684640/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=0.54 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3490 0 0 0 53 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+1.50336 s]
/proc/loadavg: 0.00 0.00 0.03 9/472 339856
/proc/meminfo: memFree=1674056/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=1.32 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3491 0 0 0 131 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+3.13336 s]
/proc/loadavg: 0.32 0.07 0.05 9/472 339856
/proc/meminfo: memFree=1673552/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=2.89 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 288 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+6.30137 s]
/proc/loadavg: 0.32 0.07 0.05 8/472 339856
/proc/meminfo: memFree=1673424/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=5.97 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 596 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+12.7004 s]
/proc/loadavg: 0.62 0.13 0.07 9/472 339856
/proc/meminfo: memFree=1673172/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=12.18 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 1217 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+25.5014 s]
/proc/loadavg: 1.37 0.32 0.13 11/472 339856
/proc/meminfo: memFree=1673140/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=24.56 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 2455 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB
[] -> ph6-5_1 


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

Detected pigeons:

 ph6-5_1 = [[-86, -342, -171, 1010, -1436], [-212, -167, -845, 766, 1313], [-407, -31, 91, -1240, 843], [432, 1269, 736, -1303, -1537], [-544, -70, -503, -170, 1534], [1125, -185, -72, -682, 1340]]

[startup+48.1576 s]
# the end of solver process 339854 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=46.4121 s, system=0.019653 s

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

[startup+25.6074 s]
/proc/loadavg: 1.37 0.32 0.13 11/472 339856
/proc/meminfo: memFree=1673140/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=24.67 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 2466 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 24.67 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+38.4004 s]
/proc/loadavg: 1.95 0.50 0.20 9/472 339864
/proc/meminfo: memFree=1671928/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=37.01 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 3700 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 37.01 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+44.8004 s]
/proc/loadavg: 2.11 0.56 0.22 9/472 339864
/proc/meminfo: memFree=1671896/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=43.22 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 4321 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 43.22 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+46.4004 s]
/proc/loadavg: 2.11 0.56 0.22 8/472 339864
/proc/meminfo: memFree=1671896/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=44.76 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 4475 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 44.76 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+47.2014 s]
/proc/loadavg: 2.11 0.56 0.22 10/472 339864
/proc/meminfo: memFree=1671896/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=45.53 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 4552 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 45.53 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+47.6004 s]
/proc/loadavg: 2.11 0.56 0.22 10/472 339864
/proc/meminfo: memFree=1671896/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=45.92 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 4591 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 45.92 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+48.0004 s]*
/proc/loadavg: 2.27 0.62 0.24 9/472 339864
/proc/meminfo: memFree=1671896/3717660 swapFree=8388604/8388604
[pid=339854] ppid=339847 vsize=45448 memory=18468 CPUtime=46.33 cores=1
/proc/339854/stat : 339854 (pigeonPur.py) R 339847 339854 339821 0 -1 4194304 3493 0 0 0 4632 1 0 0 20 0 1 0 182316670 46538752 4617 18446744073709551615 94369136123904 94369136128016 140733171015600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 182316679 0 0 94369138228480 94369138229252 94369155002368 140733171024418 140733171024522 140733171024522 140733171027945 0
/proc/339854/statm: 11362 4617 1511 2 0 3771 0
Current children cumulated CPU time: 46.33 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 18468 KiB

[startup+48.1313 s]*
/proc/loadavg: 2.27 0.62 0.24 5/472 339864
/proc/meminfo: memFree=1683572/3717660 swapFree=8388604/8388604
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 48.1577
CPU time (s): 46.4318
CPU user time (s): 46.4121
CPU system time (s): 0.019653
CPU usage (%): 96.4161
Max. virtual memory (cumulated for all children) (KiB): 45448
Max. memory (cumulated for all children) (KiB): 18468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.4121
system time used= 0.019653
maximum resident set size= 18468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3496
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= 42
involuntary context switches= 2473


# summary of solver processes directly reported to runsolver:
#   pid: 339854
#   total CPU time (s): 46.4318
#   total CPU user time (s): 46.4121
#   total CPU system time (s): 0.019653

??? end of timestamper thread
runsolver used 0.516678 second user time and 0.719314 second system time

The end
