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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/SSA/ssa2670-130.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=419949, runsolver pid=419948
Current StackSize limit: 8192 KiB


[startup+0.106628 s]*
/proc/loadavg: 0.01 0.77 1.40 5/458 419964
/proc/meminfo: memFree=1702176/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=10544 CPUtime=0.09 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1549 0 0 0 9 0 0 0 20 0 1 0 226271255 39481344 2636 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2636 1461 2 0 2048 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10544 KiB

[startup+0.232626 s]*
/proc/loadavg: 0.01 0.77 1.40 5/458 419964
/proc/meminfo: memFree=1696096/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=10544 CPUtime=0.2 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1560 0 0 0 20 0 0 0 20 0 1 0 226271255 39481344 2636 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2636 1461 2 0 2048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10544 KiB

[startup+0.336626 s]*
/proc/loadavg: 0.01 0.77 1.40 5/458 419964
/proc/meminfo: memFree=1695088/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=10808 CPUtime=0.28 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1565 0 0 0 28 0 0 0 20 0 1 0 226271255 39481344 2702 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2702 1461 2 0 2048 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10808 KiB

[startup+0.700625 s]
/proc/loadavg: 0.01 0.77 1.40 5/458 419964
/proc/meminfo: memFree=1693576/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=10808 CPUtime=0.58 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1588 0 0 0 57 1 0 0 20 0 1 0 226271255 39481344 2702 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2702 1461 2 0 2048 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 10808 KiB

[startup+1.50063 s]
/proc/loadavg: 0.01 0.77 1.40 5/458 419964
/proc/meminfo: memFree=1693072/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=1.35 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1659 0 0 0 134 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+3.13263 s]
/proc/loadavg: 0.01 0.77 1.40 4/450 419974
/proc/meminfo: memFree=1708732/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=2.93 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1663 0 0 0 292 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+6.30063 s]
/proc/loadavg: 0.25 0.81 1.41 4/450 419974
/proc/meminfo: memFree=1708868/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=6.03 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1667 0 0 0 602 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+12.7006 s]
/proc/loadavg: 0.55 0.86 1.42 4/450 419974
/proc/meminfo: memFree=1708704/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=12.28 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1667 0 0 0 1227 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+25.5006 s]
/proc/loadavg: 1.10 0.97 1.45 4/448 419975
/proc/meminfo: memFree=1708756/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=24.77 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1671 0 0 0 2476 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+51.1256 s]
/proc/loadavg: 1.82 1.15 1.50 4/448 419975
/proc/meminfo: memFree=1707532/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=49.77 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1676 0 0 0 4976 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+102.301 s]
/proc/loadavg: 2.49 1.43 1.58 4/448 419995
/proc/meminfo: memFree=1707056/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=11132 CPUtime=99.7 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1688 0 0 0 9969 1 0 0 20 0 1 0 226271255 39481344 2783 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 2783 1477 2 0 2048 0
Current children cumulated CPU time: 99.7 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 11132 KiB

[startup+162.301 s]
/proc/loadavg: 2.87 1.74 1.67 4/448 420006
/proc/meminfo: memFree=1704188/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12332 CPUtime=158.26 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1703 0 0 0 15825 1 0 0 20 0 1 0 226271255 39481344 3083 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3083 1477 2 0 2048 0
Current children cumulated CPU time: 158.26 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12332 KiB

[startup+222.301 s]
/proc/loadavg: 2.95 1.97 1.76 4/448 420015
/proc/meminfo: memFree=1702896/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12332 CPUtime=216.81 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1714 0 0 0 21680 1 0 0 20 0 1 0 226271255 39481344 3083 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3083 1477 2 0 2048 0
Current children cumulated CPU time: 216.81 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12332 KiB

[startup+282.31 s]
/proc/loadavg: 2.98 2.16 1.84 4/449 420025
/proc/meminfo: memFree=1702864/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12332 CPUtime=275.37 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1727 0 0 0 27536 1 0 0 20 0 1 0 226271255 39481344 3083 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3083 1477 2 0 2048 0
Current children cumulated CPU time: 275.37 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12332 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.32 1.92 4/448 420035
/proc/meminfo: memFree=1702420/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12332 CPUtime=333.91 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1741 0 0 0 33390 1 0 0 20 0 1 0 226271255 39481344 3083 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3083 1477 2 0 2048 0
Current children cumulated CPU time: 333.91 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12332 KiB

[startup+402.301 s]
/proc/loadavg: 3.08 2.47 2.00 4/448 420045
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12332 CPUtime=392.46 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1752 0 0 0 39245 1 0 0 20 0 1 0 226271255 39481344 3083 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3083 1477 2 0 2048 0
Current children cumulated CPU time: 392.46 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12332 KiB

[startup+462.301 s]
/proc/loadavg: 3.07 2.59 2.07 4/448 420054
/proc/meminfo: memFree=1702284/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12596 CPUtime=451.01 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1769 0 0 0 45100 1 0 0 20 0 1 0 226271255 39481344 3149 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3149 1477 2 0 2048 0
Current children cumulated CPU time: 451.01 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12596 KiB

[startup+522.301 s]
/proc/loadavg: 3.29 2.73 2.15 4/449 420065
/proc/meminfo: memFree=1702064/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12596 CPUtime=509.57 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1780 0 0 0 50956 1 0 0 20 0 1 0 226271255 39481344 3149 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3149 1477 2 0 2048 0
Current children cumulated CPU time: 509.57 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12596 KiB

[startup+582.301 s]
/proc/loadavg: 4.38 3.12 2.32 4/447 420075
/proc/meminfo: memFree=1702032/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12596 CPUtime=568.12 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1792 0 0 0 56811 1 0 0 20 0 1 0 226271255 39481344 3149 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3149 1477 2 0 2048 0
Current children cumulated CPU time: 568.12 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12596 KiB

[startup+642.301 s]
/proc/loadavg: 5.07 3.55 2.52 4/448 420085
/proc/meminfo: memFree=1701496/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12596 CPUtime=626.67 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1808 0 0 0 62666 1 0 0 20 0 1 0 226271255 39481344 3149 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3149 1477 2 0 2048 0
Current children cumulated CPU time: 626.67 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12596 KiB

[startup+702.301 s]
/proc/loadavg: 5.05 3.85 2.69 4/448 420095
/proc/meminfo: memFree=1701212/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38556 memory=12596 CPUtime=685.22 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1817 0 0 0 68521 1 0 0 20 0 1 0 226271255 39481344 3149 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9639 3149 1477 2 0 2048 0
Current children cumulated CPU time: 685.22 s
Current children cumulated vsize: 38556 KiB
Current children cumulated memory: 12596 KiB

[startup+762.301 s]
/proc/loadavg: 4.31 3.86 2.77 4/448 420105
/proc/meminfo: memFree=1700960/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38692 memory=12860 CPUtime=743.78 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1830 0 0 0 74377 1 0 0 20 0 1 0 226271255 39620608 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9673 3215 1477 2 0 2082 0
Current children cumulated CPU time: 743.78 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 12860 KiB

[startup+822.301 s]
/proc/loadavg: 3.66 3.76 2.81 4/447 420114
/proc/meminfo: memFree=1700960/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38692 memory=12860 CPUtime=802.33 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1843 0 0 0 80232 1 0 0 20 0 1 0 226271255 39620608 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9673 3215 1477 2 0 2082 0
Current children cumulated CPU time: 802.33 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 12860 KiB

[startup+882.301 s]
/proc/loadavg: 3.31 3.64 2.83 4/448 420124
/proc/meminfo: memFree=1700456/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38692 memory=12860 CPUtime=860.88 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1852 0 0 0 86087 1 0 0 20 0 1 0 226271255 39620608 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9673 3215 1477 2 0 2082 0
Current children cumulated CPU time: 860.88 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 12860 KiB

[startup+942.301 s]
/proc/loadavg: 3.11 3.52 2.84 4/447 420133
/proc/meminfo: memFree=1700424/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38828 memory=12860 CPUtime=919.43 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1866 0 0 0 91942 1 0 0 20 0 1 0 226271255 39759872 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9707 3215 1477 2 0 2116 0
Current children cumulated CPU time: 919.43 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 12860 KiB

[startup+1002.3 s]
/proc/loadavg: 3.04 3.42 2.85 4/446 420143
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38828 memory=12860 CPUtime=977.99 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1875 0 0 0 97798 1 0 0 20 0 1 0 226271255 39759872 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9707 3215 1477 2 0 2116 0
Current children cumulated CPU time: 977.99 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 12860 KiB

[startup+1062.3 s]
/proc/loadavg: 3.01 3.34 2.86 4/447 420153
/proc/meminfo: memFree=1700644/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38828 memory=12860 CPUtime=1036.54 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1888 0 0 0 103653 1 0 0 20 0 1 0 226271255 39759872 3215 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9707 3215 1477 2 0 2116 0
Current children cumulated CPU time: 1036.54 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 12860 KiB

[startup+1122.3 s]
/proc/loadavg: 3.05 3.29 2.88 4/448 420163
/proc/meminfo: memFree=1700384/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38968 memory=13120 CPUtime=1095.11 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1901 0 0 0 109510 1 0 0 20 0 1 0 226271255 39903232 3280 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9742 3280 1477 2 0 2151 0
Current children cumulated CPU time: 1095.11 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 13120 KiB

[startup+1182.3 s]
/proc/loadavg: 3.12 3.27 2.90 4/446 420173
/proc/meminfo: memFree=1700804/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38968 memory=13120 CPUtime=1153.68 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1914 0 0 0 115367 1 0 0 20 0 1 0 226271255 39903232 3280 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9742 3280 1477 2 0 2151 0
Current children cumulated CPU time: 1153.68 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 13120 KiB

[startup+1242.3 s]
/proc/loadavg: 3.07 3.23 2.92 4/448 420184
/proc/meminfo: memFree=1700428/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=38968 memory=13120 CPUtime=1212.25 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1927 0 0 0 121224 1 0 0 20 0 1 0 226271255 39903232 3280 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9742 3280 1477 2 0 2151 0
Current children cumulated CPU time: 1212.25 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 13120 KiB

[startup+1302.3 s]
/proc/loadavg: 3.17 3.22 2.93 4/448 420193
/proc/meminfo: memFree=1700588/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1270.81 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 127080 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1270.81 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1362.3 s]
/proc/loadavg: 3.06 3.18 2.94 4/448 420204
/proc/meminfo: memFree=1700844/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1329.38 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 132937 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1329.38 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1422.3 s]
/proc/loadavg: 3.02 3.14 2.94 4/448 420213
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1387.94 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 138793 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1387.94 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1482.3 s]
/proc/loadavg: 3.01 3.11 2.95 4/448 420222
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1446.51 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 144650 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1446.51 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1542.3 s]
/proc/loadavg: 3.20 3.15 2.98 4/446 420231
/proc/meminfo: memFree=1700316/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1505.08 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 150507 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1505.08 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1602.3 s]
/proc/loadavg: 3.23 3.19 3.00 4/448 420243
/proc/meminfo: memFree=1700600/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1563.64 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 156363 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1563.64 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1662.3 s]
/proc/loadavg: 3.14 3.17 3.00 4/447 420252
/proc/meminfo: memFree=1700568/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1622.21 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 162220 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1622.21 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1722.3 s]
/proc/loadavg: 3.05 3.14 3.00 4/449 420263
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1680.77 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 168076 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1680.77 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

[startup+1782.3 s]
/proc/loadavg: 3.02 3.11 3.00 4/448 420276
/proc/meminfo: memFree=1700284/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1739.34 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 173933 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1739.34 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.01 3.10 3.00 4/448 420277
/proc/meminfo: memFree=1700252/3726824 swapFree=8388604/8388604
[pid=419949] ppid=419948 vsize=39104 memory=13384 CPUtime=1756.63 cores=1
/proc/419949/stat : 419949 (pigeonPurSampli) R 419948 419949 419933 0 -1 4194304 1968 0 0 0 175662 1 0 0 20 0 1 0 226271255 40042496 3346 18446744073709551615 94344717746176 94344717750288 140732591906960 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94344719850752 94344719851524 94344742440960 140732591911435 140732591911509 140732591911509 140732591914977 0
/proc/419949/statm: 9776 3346 1477 2 0 2185 0
Current children cumulated CPU time: 1756.63 s
Current children cumulated vsize: 39104 KiB
Current children cumulated memory: 13384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 419949 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.64 s, system=0.015795 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1756.65
CPU user time (s): 1756.64
CPU system time (s): 0.015795
CPU usage (%): 97.5896
Max. virtual memory (cumulated for all children) (KiB): 39104
Max. memory (cumulated for all children) (KiB): 13384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.64
system time used= 0.015795
maximum resident set size= 13384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1970
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= 16
involuntary context switches= 27212


# summary of solver processes directly reported to runsolver:
#   pid: 419949
#   total CPU time (s): 1756.65
#   total CPU user time (s): 1756.64
#   total CPU system time (s): 0.015795

??? end of timestamper thread
runsolver used 15.795 second user time and 21.0438 second system time

The end
