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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/cmpadd/ca002.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=418003, runsolver pid=417992
Current StackSize limit: 8192 KiB

[-1] -> []

[] -> []


Detected pigeons:

[startup+0.0962601 s]
# the end of solver process 418003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.081236 s, system=0.008746 s

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

Child status: 0
Real time (s): 0.0963111
CPU time (s): 0.089982
CPU user time (s): 0.081236
CPU system time (s): 0.008746
CPU usage (%): 93.4285
Max. virtual memory (cumulated for all children) (KiB): 0
Max. memory (cumulated for all children) (KiB): 0

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.081236
system time used= 0.008746
maximum resident set size= 10252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1341
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= 19
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 418003
#   total CPU time (s): 0.089982
#   total CPU user time (s): 0.081236
#   total CPU system time (s): 0.008746

??? end of timestamper thread
runsolver used 0.013042 second user time and 0.034964 second system time

The end
