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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/dinphil/dp07u06.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=413023, runsolver pid=413022
Current StackSize limit: 8192 KiB


[startup+0.101457 s]*
/proc/loadavg: 0.00 0.32 1.60 5/472 413039
/proc/meminfo: memFree=1733356/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12448 CPUtime=0.09 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1901 0 0 0 8 1 0 0 20 0 1 0 225722840 40796160 3112 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3112 1545 2 0 2369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12448 KiB

[startup+0.236451 s]*
/proc/loadavg: 0.00 0.32 1.60 5/472 413039
/proc/meminfo: memFree=1729576/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12448 CPUtime=0.2 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1901 0 0 0 19 1 0 0 20 0 1 0 225722840 40796160 3112 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3112 1545 2 0 2369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12448 KiB

[startup+0.333453 s]*
/proc/loadavg: 0.00 0.32 1.60 5/472 413039
/proc/meminfo: memFree=1728512/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12448 CPUtime=0.27 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1901 0 0 0 26 1 0 0 20 0 1 0 225722840 40796160 3112 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3112 1545 2 0 2369 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12448 KiB

[startup+0.700452 s]
/proc/loadavg: 0.00 0.32 1.60 5/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12448 CPUtime=0.57 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1901 0 0 0 56 1 0 0 20 0 1 0 225722840 40796160 3112 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3112 1545 2 0 2369 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12448 KiB

[startup+1.50145 s]
/proc/loadavg: 0.00 0.32 1.60 6/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12448 CPUtime=1.34 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1907 0 0 0 133 1 0 0 20 0 1 0 225722840 40796160 3112 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3112 1545 2 0 2369 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12448 KiB

[startup+3.13246 s]
/proc/loadavg: 0.32 0.38 1.61 5/472 413039
/proc/meminfo: memFree=1726676/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=2.9 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1979 0 0 0 289 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+6.30045 s]
/proc/loadavg: 0.32 0.38 1.61 6/472 413039
/proc/meminfo: memFree=1726580/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=5.98 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1980 0 0 0 597 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+12.7005 s]
/proc/loadavg: 0.62 0.44 1.62 6/472 413039
/proc/meminfo: memFree=1724816/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=12.18 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1980 0 0 0 1217 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+25.5005 s]
/proc/loadavg: 1.37 0.62 1.66 5/471 413047
/proc/meminfo: memFree=1723492/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=24.56 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1988 0 0 0 2455 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+51.1345 s]
/proc/loadavg: 2.27 0.89 1.73 5/471 413048
/proc/meminfo: memFree=1722988/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=49.44 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 1995 0 0 0 4943 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+102.3 s]
/proc/loadavg: 3.31 1.39 1.85 5/470 413057
/proc/meminfo: memFree=1721948/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=12712 CPUtime=99.11 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2003 0 0 0 9910 1 0 0 20 0 1 0 225722840 40796160 3178 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3178 1545 2 0 2369 0
Current children cumulated CPU time: 99.11 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 12712 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 1.94 2.02 5/472 413069
/proc/meminfo: memFree=1715036/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14140 CPUtime=157.36 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2007 0 0 0 15735 1 0 0 20 0 1 0 225722840 40796160 3535 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3535 1545 2 0 2369 0
Current children cumulated CPU time: 157.36 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14140 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 2.35 2.15 6/472 413078
/proc/meminfo: memFree=1714532/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14140 CPUtime=215.6 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2016 0 0 0 21559 1 0 0 20 0 1 0 225722840 40796160 3535 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3535 1545 2 0 2369 0
Current children cumulated CPU time: 215.6 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14140 KiB

[startup+282.3 s]
/proc/loadavg: 5.16 2.95 2.37 6/472 413087
/proc/meminfo: memFree=1714500/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14140 CPUtime=273.86 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2019 0 0 0 27385 1 0 0 20 0 1 0 225722840 40796160 3535 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3535 1545 2 0 2369 0
Current children cumulated CPU time: 273.86 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14140 KiB

[startup+342.3 s]
/proc/loadavg: 6.30 3.68 2.66 5/470 413097
/proc/meminfo: memFree=1714548/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=332.11 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2043 0 0 0 33210 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 332.11 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+402.3 s]
/proc/loadavg: 7.31 4.46 3.00 5/470 413106
/proc/meminfo: memFree=1713728/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=390.35 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2050 0 0 0 39034 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 390.35 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+462.3 s]
/proc/loadavg: 7.06 4.91 3.24 5/468 413115
/proc/meminfo: memFree=1713192/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=448.6 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2052 0 0 0 44859 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 448.6 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+522.3 s]
/proc/loadavg: 6.00 5.04 3.40 5/469 413126
/proc/meminfo: memFree=1712940/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=506.88 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2056 0 0 0 50687 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 506.88 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+582.3 s]
/proc/loadavg: 4.99 4.92 3.46 5/470 413136
/proc/meminfo: memFree=1712656/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=565.18 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2056 0 0 0 56517 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 565.18 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+642.3 s]
/proc/loadavg: 4.36 4.75 3.50 5/470 413146
/proc/meminfo: memFree=1713160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=623.49 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2056 0 0 0 62348 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 623.49 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+702.3 s]
/proc/loadavg: 4.13 4.61 3.54 5/470 413155
/proc/meminfo: memFree=1712624/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=681.81 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2058 0 0 0 68180 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 681.81 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 4.52 3.57 5/470 413165
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14404 CPUtime=740.14 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2065 0 0 0 74013 1 0 0 20 0 1 0 225722840 40796160 3601 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3601 1545 2 0 2369 0
Current children cumulated CPU time: 740.14 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14404 KiB

[startup+822.305 s]
/proc/loadavg: 4.04 4.42 3.60 5/470 413175
/proc/meminfo: memFree=1712560/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=798.47 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2096 0 0 0 79846 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 798.47 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+882.3 s]
/proc/loadavg: 4.21 4.39 3.65 5/470 413195
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=856.79 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2119 0 0 0 85678 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 856.79 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+942.3 s]
/proc/loadavg: 4.45 4.41 3.70 5/469 413205
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=915.13 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2121 0 0 0 91512 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 915.13 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1002.3 s]
/proc/loadavg: 4.58 4.45 3.76 5/469 413214
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=973.47 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2121 0 0 0 97346 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 973.47 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1062.3 s]
/proc/loadavg: 4.49 4.45 3.81 5/469 413223
/proc/meminfo: memFree=1711520/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=1031.82 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2121 0 0 0 103181 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 1031.82 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1122.3 s]
/proc/loadavg: 4.23 4.38 3.83 5/469 413234
/proc/meminfo: memFree=1711204/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=1090.14 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2122 0 0 0 109013 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 1090.14 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.31 3.84 5/470 413244
/proc/meminfo: memFree=1711424/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=1148.46 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2122 0 0 0 114845 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 1148.46 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1242.3 s]
/proc/loadavg: 4.18 4.29 3.86 5/470 413254
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39840 memory=14668 CPUtime=1206.78 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2122 0 0 0 120677 1 0 0 20 0 1 0 225722840 40796160 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9960 3667 1545 2 0 2369 0
Current children cumulated CPU time: 1206.78 s
Current children cumulated vsize: 39840 KiB
Current children cumulated memory: 14668 KiB

[startup+1302.31 s]
/proc/loadavg: 4.36 4.32 3.91 5/470 413263
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1265.12 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2145 0 0 0 126511 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1265.12 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1362.3 s]
/proc/loadavg: 4.73 4.43 3.97 5/470 413273
/proc/meminfo: memFree=1710856/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1323.42 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2152 0 0 0 132341 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1323.42 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1422.3 s]
/proc/loadavg: 4.45 4.41 4.00 5/469 413282
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1381.76 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2152 0 0 0 138175 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1381.76 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1482.3 s]
/proc/loadavg: 4.20 4.35 4.00 5/468 413291
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1440.09 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2152 0 0 0 144008 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1440.09 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 4.28 4.00 5/470 413304
/proc/meminfo: memFree=1710540/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1498.43 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2152 0 0 0 149842 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1498.43 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1602.3 s]
/proc/loadavg: 4.02 4.23 4.00 5/471 413314
/proc/meminfo: memFree=1710760/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14668 CPUtime=1556.78 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2153 0 0 0 155677 1 0 0 20 0 1 0 225722840 40935424 3667 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3667 1545 2 0 2403 0
Current children cumulated CPU time: 1556.78 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14668 KiB

[startup+1662.3 s]
/proc/loadavg: 4.01 4.18 4.00 7/471 413323
/proc/meminfo: memFree=1710728/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=39976 memory=14932 CPUtime=1615.11 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2154 0 0 0 161510 1 0 0 20 0 1 0 225722840 40935424 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 9994 3733 1545 2 0 2403 0
Current children cumulated CPU time: 1615.11 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 14932 KiB

[startup+1722.3 s]
/proc/loadavg: 4.00 4.15 4.00 5/471 413337
/proc/meminfo: memFree=1710444/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1673.33 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2173 0 0 0 167332 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1673.33 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1782.3 s]
/proc/loadavg: 4.35 4.21 4.03 5/471 413346
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1731.62 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2181 0 0 0 173161 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1731.62 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB
slurmstepd: error: *** JOB 4289 ON node202 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.47 s]
# the end of solver process 413023 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1748.23 s, system=0.01776 s

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

[startup+1792 s]*
/proc/loadavg: 4.53 4.26 4.05 5/472 413348
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1741.04 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174103 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1741.04 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1795.2 s]
/proc/loadavg: 4.64 4.29 4.06 5/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1744.12 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174411 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1744.12 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1796.8 s]
/proc/loadavg: 4.64 4.29 4.06 5/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1745.69 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174568 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1745.69 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1798.4 s]
/proc/loadavg: 4.64 4.29 4.06 7/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1747.22 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174721 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1747.22 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1799.2 s]
/proc/loadavg: 4.75 4.32 4.07 5/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1748 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174799 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1748 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

[startup+1799.4 s]
/proc/loadavg: 4.75 4.32 4.07 5/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413023] ppid=413022 vsize=40108 memory=14932 CPUtime=1748.19 cores=1
/proc/413023/stat : 413023 (pigeonPurSampli) R 413022 413023 413007 0 -1 4194304 2184 0 0 0 174818 1 0 0 20 0 1 0 225722840 41070592 3733 18446744073709551615 94004412366848 94004412370960 140737268846784 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 225722844 0 0 94004414471424 94004414472196 94004438548480 140737268851188 140737268851286 140737268851286 140737268854753 0
/proc/413023/statm: 10027 3733 1545 2 0 2436 0
Current children cumulated CPU time: 1748.19 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 14932 KiB

Child status: 1
Real time (s): 1799.47
CPU time (s): 1748.25
CPU user time (s): 1748.23
CPU system time (s): 0.01776
CPU usage (%): 97.1535
Max. virtual memory (cumulated for all children) (KiB): 40108
Max. memory (cumulated for all children) (KiB): 14932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.23
system time used= 0.01776
maximum resident set size= 14932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2187
page faults= 0
swaps= 0
block input operations= 232
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 82089


# summary of solver processes directly reported to runsolver:
#   pid: 413023
#   total CPU time (s): 1748.25
#   total CPU user time (s): 1748.23
#   total CPU system time (s): 0.01776

??? end of timestamper thread
runsolver used 16.5598 second user time and 23.2722 second system time

The end
