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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/SSA/ssa6288-047.cnf 

running on 1 cores: 3

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


[startup+0.10024 s]*
/proc/loadavg: 0.01 0.77 1.40 7/458 419964
/proc/meminfo: memFree=1701876/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=43144 memory=16104 CPUtime=0.09 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 2834 0 0 0 9 0 0 0 20 0 1 0 226271256 44179456 4026 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 10786 4026 1531 2 0 3195 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43144 KiB
Current children cumulated memory: 16104 KiB

[startup+0.235246 s]*
/proc/loadavg: 0.01 0.77 1.40 7/458 419964
/proc/meminfo: memFree=1695844/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=46728 memory=19680 CPUtime=0.21 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 3742 0 0 0 20 1 0 0 20 0 1 0 226271256 47849472 4920 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 11682 4920 1531 2 0 4091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46728 KiB
Current children cumulated memory: 19680 KiB

[startup+0.335245 s]*
/proc/loadavg: 0.01 0.77 1.40 7/458 419964
/proc/meminfo: memFree=1695088/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=46728 memory=19680 CPUtime=0.28 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 3742 0 0 0 27 1 0 0 20 0 1 0 226271256 47849472 4920 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 11682 4920 1531 2 0 4091 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 46728 KiB
Current children cumulated memory: 19680 KiB

[startup+0.701244 s]
/proc/loadavg: 0.01 0.77 1.40 8/458 419964
/proc/meminfo: memFree=1693576/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=46728 memory=19680 CPUtime=0.57 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 3742 0 0 0 56 1 0 0 20 0 1 0 226271256 47849472 4920 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 11682 4920 1531 2 0 4091 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 46728 KiB
Current children cumulated memory: 19680 KiB

Detected pigeons:

[startup+1.05632 s]
# the end of solver process 419958 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.895524 s, system=0.014059 s

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

[startup+0.801244 s]
/proc/loadavg: 0.01 0.77 1.40 8/458 419964
/proc/meminfo: memFree=1693576/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=46728 memory=19680 CPUtime=0.67 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 3742 0 0 0 66 1 0 0 20 0 1 0 226271256 47849472 4920 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 11682 4920 1531 2 0 4091 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 46728 KiB
Current children cumulated memory: 19680 KiB

[startup+1.00124 s]*
/proc/loadavg: 0.01 0.77 1.40 8/458 419964
/proc/meminfo: memFree=1693072/3726824 swapFree=8388604/8388604
[pid=419958] ppid=419955 vsize=46728 memory=19680 CPUtime=0.88 cores=3
/proc/419958/stat : 419958 (pigeonPurSampli) R 419955 419958 419939 0 -1 4194304 3742 0 0 0 87 1 0 0 20 0 1 0 226271256 47849472 4920 18446744073709551615 94106561282048 94106561286160 140732511384624 0 0 0 0 16781312 0 0 0 0 17 3 0 0 0 0 0 94106563386624 94106563387396 94106586357760 140732511392267 140732511392341 140732511392341 140732511395809 0
/proc/419958/statm: 11682 4920 1531 2 0 4091 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 46728 KiB
Current children cumulated memory: 19680 KiB

Child status: 0
Real time (s): 1.05636
CPU time (s): 0.909583
CPU user time (s): 0.895524
CPU system time (s): 0.014059
CPU usage (%): 86.1058
Max. virtual memory (cumulated for all children) (KiB): 46728
Max. memory (cumulated for all children) (KiB): 19680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.895524
system time used= 0.014059
maximum resident set size= 19680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3744
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= 9
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 419958
#   total CPU time (s): 0.909583
#   total CPU user time (s): 0.895524
#   total CPU system time (s): 0.014059

??? end of timestamper thread
runsolver used 0.074564 second user time and 0.095793 second system time

The end
