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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/aloul/Homer//homer06.shuffled.cnf 

running on 1 cores: 0

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


[startup+0.105944 s]*
/proc/loadavg: 0.00 0.00 0.00 9/457 341464
/proc/meminfo: memFree=1824508/3726824 swapFree=8388604/8388604
[pid=341457] ppid=341453 vsize=38044 memory=10580 CPUtime=0.07 cores=0
/proc/341457/stat : 341457 (pigeonPur.py) R 341453 341457 341424 0 -1 4194304 1457 0 0 0 7 0 0 0 20 0 1 0 180731694 38957056 2645 18446744073709551615 94868242096128 94868242100240 140732150782960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 94868244200704 94868244201476 94868256444416 140732150788612 140732150788700 140732150788700 140732150792169 0
/proc/341457/statm: 9511 2645 1534 2 0 1920 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 38044 KiB
Current children cumulated memory: 10580 KiB
[] -> ph10-9_1 


Final result:
['UNSAT', 0, 'ph10-9_1', [], []]

Detected pigeons:

 ph10-9_1 = [[24, 13, -17, -77, -32, 1, 141, 42, -179], [48, -70, 110, 80, -53, -18, 44, 137, 66], [56, 4, -74, 43, 113, 23, 126, 174, 127], [71, 58, 60, 11, -135, -162, 105, 95, -159], [-100, -121, 173, 147, -123, 14, 87, -118, -12], [-154, 78, 136, -20, 68, -176, -46, 107, -27], [161, -103, -22, -26, 65, -129, 76, 57, 125], [-166, 91, 90, -158, 51, 134, -169, -178, -41], [-172, 115, 2, 144, -84, 104, -152, -114, -128], [177, 130, -9, -72, 89, -55, 67, 112, -62]]

[startup+0.232939 s]*
/proc/loadavg: 0.00 0.00 0.00 5/457 341464
/proc/meminfo: memFree=1823248/3726824 swapFree=8388604/8388604
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+0.298629 s]
# the end of solver process 341457 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.180407 s, system=0.007913 s

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

Child status: 0
Real time (s): 0.298649
CPU time (s): 0.18832
CPU user time (s): 0.180407
CPU system time (s): 0.007913
CPU usage (%): 63.0573
Max. virtual memory (cumulated for all children) (KiB): 38044
Max. memory (cumulated for all children) (KiB): 10580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.180407
system time used= 0.007913
maximum resident set size= 10580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1460
page faults= 0
swaps= 0
block input operations= 24
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 341457
#   total CPU time (s): 0.18832
#   total CPU user time (s): 0.180407
#   total CPU system time (s): 0.007913

??? end of timestamper thread
runsolver used 0.02801 second user time and 0.060833 second system time

The end
