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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/dinphil/dp08u07.shuffled.cnf 

running on 1 cores: 2

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=413033, runsolver pid=413032
Current StackSize limit: 8192 KiB


[startup+0.100629 s]*
/proc/loadavg: 0.00 0.32 1.60 8/472 413039
/proc/meminfo: memFree=1731844/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=0.09 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2202 0 0 0 9 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+0.237631 s]*
/proc/loadavg: 0.00 0.32 1.60 7/472 413039
/proc/meminfo: memFree=1729576/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=0.21 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2203 0 0 0 21 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+0.337628 s]*
/proc/loadavg: 0.00 0.32 1.60 9/472 413039
/proc/meminfo: memFree=1728512/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=0.29 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2203 0 0 0 29 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+0.700628 s]
/proc/loadavg: 0.00 0.32 1.60 10/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=0.57 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2203 0 0 0 57 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+1.50063 s]
/proc/loadavg: 0.00 0.32 1.60 7/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=1.34 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2203 0 0 0 134 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+3.12063 s]
/proc/loadavg: 0.32 0.38 1.61 9/472 413039
/proc/meminfo: memFree=1726676/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13412 CPUtime=2.9 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2218 0 0 0 290 0 0 0 20 0 1 0 225722841 41844736 3353 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3353 1520 2 0 2625 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13412 KiB

[startup+6.30064 s]
/proc/loadavg: 0.32 0.38 1.61 7/472 413039
/proc/meminfo: memFree=1726580/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13676 CPUtime=5.99 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2270 0 0 0 599 0 0 0 20 0 1 0 225722841 41844736 3419 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3419 1520 2 0 2625 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13676 KiB

[startup+12.7026 s]
/proc/loadavg: 0.62 0.44 1.62 8/472 413039
/proc/meminfo: memFree=1724816/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=13940 CPUtime=12.21 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2349 0 0 0 1221 0 0 0 20 0 1 0 225722841 41844736 3485 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3485 1520 2 0 2625 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13940 KiB

[startup+25.5027 s]
/proc/loadavg: 1.37 0.62 1.66 7/471 413047
/proc/meminfo: memFree=1723492/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=14204 CPUtime=24.62 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2353 0 0 0 2462 0 0 0 20 0 1 0 225722841 41844736 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3551 1520 2 0 2625 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 14204 KiB

[startup+51.1306 s]
/proc/loadavg: 2.27 0.89 1.73 7/471 413048
/proc/meminfo: memFree=1722988/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=14204 CPUtime=49.41 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2354 0 0 0 4941 0 0 0 20 0 1 0 225722841 41844736 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3551 1520 2 0 2625 0
Current children cumulated CPU time: 49.41 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 14204 KiB

[startup+102.304 s]
/proc/loadavg: 3.31 1.39 1.85 8/470 413057
/proc/meminfo: memFree=1721948/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=14204 CPUtime=98.91 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2373 0 0 0 9890 1 0 0 20 0 1 0 225722841 41844736 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3551 1520 2 0 2625 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 14204 KiB

[startup+162.307 s]
/proc/loadavg: 4.02 1.94 2.02 7/472 413069
/proc/meminfo: memFree=1715036/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=14204 CPUtime=157.01 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2393 0 0 0 15700 1 0 0 20 0 1 0 225722841 41844736 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3551 1520 2 0 2625 0
Current children cumulated CPU time: 157.01 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 14204 KiB

[startup+222.305 s]
/proc/loadavg: 4.11 2.35 2.15 8/472 413078
/proc/meminfo: memFree=1714532/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=40864 memory=14204 CPUtime=215.07 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2393 0 0 0 21506 1 0 0 20 0 1 0 225722841 41844736 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10216 3551 1520 2 0 2625 0
Current children cumulated CPU time: 215.07 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 14204 KiB

[startup+282.308 s]
/proc/loadavg: 5.16 2.95 2.37 8/472 413087
/proc/meminfo: memFree=1714500/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14204 CPUtime=273.09 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2401 0 0 0 27308 1 0 0 20 0 1 0 225722841 41984000 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3551 1520 2 0 2659 0
Current children cumulated CPU time: 273.09 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14204 KiB

[startup+342.305 s]
/proc/loadavg: 6.30 3.68 2.66 7/470 413097
/proc/meminfo: memFree=1714548/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14204 CPUtime=331.13 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2402 0 0 0 33112 1 0 0 20 0 1 0 225722841 41984000 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3551 1520 2 0 2659 0
Current children cumulated CPU time: 331.13 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14204 KiB

[startup+402.304 s]
/proc/loadavg: 7.31 4.46 3.00 7/470 413106
/proc/meminfo: memFree=1713728/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14204 CPUtime=389.26 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2414 0 0 0 38925 1 0 0 20 0 1 0 225722841 41984000 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3551 1520 2 0 2659 0
Current children cumulated CPU time: 389.26 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14204 KiB

[startup+462.301 s]
/proc/loadavg: 7.06 4.91 3.24 7/468 413115
/proc/meminfo: memFree=1713192/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14204 CPUtime=447.43 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2417 0 0 0 44742 1 0 0 20 0 1 0 225722841 41984000 3551 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3551 1520 2 0 2659 0
Current children cumulated CPU time: 447.43 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14204 KiB

[startup+522.301 s]
/proc/loadavg: 6.00 5.04 3.40 8/469 413126
/proc/meminfo: memFree=1712940/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14464 CPUtime=505.68 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2425 0 0 0 50567 1 0 0 20 0 1 0 225722841 41984000 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3616 1520 2 0 2659 0
Current children cumulated CPU time: 505.68 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14464 KiB

[startup+582.302 s]
/proc/loadavg: 4.99 4.92 3.46 8/470 413136
/proc/meminfo: memFree=1712656/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14464 CPUtime=563.91 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2425 0 0 0 56390 1 0 0 20 0 1 0 225722841 41984000 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3616 1520 2 0 2659 0
Current children cumulated CPU time: 563.91 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14464 KiB

[startup+642.302 s]
/proc/loadavg: 4.36 4.75 3.50 8/470 413146
/proc/meminfo: memFree=1713160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41000 memory=14464 CPUtime=621.97 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2433 0 0 0 62196 1 0 0 20 0 1 0 225722841 41984000 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10250 3616 1520 2 0 2659 0
Current children cumulated CPU time: 621.97 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 14464 KiB

[startup+702.305 s]
/proc/loadavg: 4.13 4.61 3.54 7/470 413155
/proc/meminfo: memFree=1712624/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=680.19 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2437 0 0 0 68018 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 680.19 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+762.301 s]
/proc/loadavg: 4.12 4.52 3.57 8/470 413165
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=738.36 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2443 0 0 0 73835 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 738.36 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+822.305 s]
/proc/loadavg: 4.04 4.42 3.60 8/470 413175
/proc/meminfo: memFree=1712560/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=796.57 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2443 0 0 0 79656 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 796.57 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+882.305 s]
/proc/loadavg: 4.21 4.39 3.65 8/470 413195
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=854.66 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2446 0 0 0 85465 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 854.66 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+942.302 s]
/proc/loadavg: 4.45 4.41 3.70 8/469 413205
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=912.88 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2457 0 0 0 91287 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 912.88 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+1002.3 s]
/proc/loadavg: 4.58 4.45 3.76 8/469 413214
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=971.13 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2457 0 0 0 97112 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 971.13 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+1062.3 s]
/proc/loadavg: 4.49 4.45 3.81 8/469 413223
/proc/meminfo: memFree=1711520/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=1029.37 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2462 0 0 0 102936 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 1029.37 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+1122.31 s]
/proc/loadavg: 4.23 4.38 3.83 9/469 413234
/proc/meminfo: memFree=1711204/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=1087.6 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2465 0 0 0 108759 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 1087.6 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.31 3.84 9/470 413244
/proc/meminfo: memFree=1711424/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41148 memory=14464 CPUtime=1145.75 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2469 0 0 0 114574 1 0 0 20 0 1 0 225722841 42135552 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10287 3616 1520 2 0 2696 0
Current children cumulated CPU time: 1145.75 s
Current children cumulated vsize: 41148 KiB
Current children cumulated memory: 14464 KiB

[startup+1242.3 s]
/proc/loadavg: 4.18 4.29 3.86 7/470 413254
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14464 CPUtime=1203.9 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2481 0 0 0 120389 1 0 0 20 0 1 0 225722841 42278912 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3616 1520 2 0 2731 0
Current children cumulated CPU time: 1203.9 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14464 KiB

[startup+1302.3 s]
/proc/loadavg: 4.36 4.32 3.91 7/470 413263
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14464 CPUtime=1262.15 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2481 0 0 0 126214 1 0 0 20 0 1 0 225722841 42278912 3616 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3616 1520 2 0 2731 0
Current children cumulated CPU time: 1262.15 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14464 KiB

[startup+1362.3 s]
/proc/loadavg: 4.73 4.43 3.97 8/470 413273
/proc/meminfo: memFree=1710856/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1320.42 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2493 0 0 0 132041 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1320.42 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 KiB

[startup+1422.3 s]
/proc/loadavg: 4.45 4.41 4.00 8/469 413282
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1378.69 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2496 0 0 0 137868 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1378.69 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 KiB

[startup+1482.3 s]
/proc/loadavg: 4.20 4.35 4.00 8/468 413291
/proc/meminfo: memFree=1711076/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1436.86 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2503 0 0 0 143685 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1436.86 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 4.28 4.00 8/470 413304
/proc/meminfo: memFree=1710540/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1495.1 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2503 0 0 0 149509 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1495.1 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 KiB

[startup+1602.31 s]
/proc/loadavg: 4.02 4.23 4.00 9/471 413314
/proc/meminfo: memFree=1710760/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1553.32 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2503 0 0 0 155331 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1553.32 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 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=413033] ppid=413032 vsize=41288 memory=14728 CPUtime=1611.52 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2510 0 0 0 161151 1 0 0 20 0 1 0 225722841 42278912 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10322 3682 1520 2 0 2731 0
Current children cumulated CPU time: 1611.52 s
Current children cumulated vsize: 41288 KiB
Current children cumulated memory: 14728 KiB

[startup+1722.31 s]
/proc/loadavg: 4.00 4.15 4.00 7/471 413337
/proc/meminfo: memFree=1710444/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1669.73 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 166972 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1669.73 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1782.3 s]
/proc/loadavg: 4.35 4.21 4.03 8/471 413346
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1727.94 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 172793 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1727.94 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB
slurmstepd: error: *** JOB 4290 ON node202 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.48 s]
# the end of solver process 413033 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.56 s, system=0.017709 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 8/472 413348
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1737.39 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 173738 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1737.39 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1795.2 s]
/proc/loadavg: 4.64 4.29 4.06 8/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1740.47 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 174046 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1740.47 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1796.81 s]
/proc/loadavg: 4.64 4.29 4.06 7/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1742.04 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 174203 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1742.04 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1798.41 s]
/proc/loadavg: 4.64 4.29 4.06 7/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1743.59 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 174358 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1743.59 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1799.2 s]
/proc/loadavg: 4.75 4.32 4.07 7/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1744.35 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 174434 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1744.35 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

[startup+1799.41 s]
/proc/loadavg: 4.75 4.32 4.07 7/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413033] ppid=413032 vsize=41440 memory=14728 CPUtime=1744.54 cores=2
/proc/413033/stat : 413033 (pigeonPurSampli) R 413032 413033 413013 0 -1 4194304 2521 0 0 0 174453 1 0 0 20 0 1 0 225722841 42434560 3682 18446744073709551615 94549344038912 94549344043024 140724805711056 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94549346143488 94549346144260 94549373988864 140724805714420 140724805714518 140724805714518 140724805717985 0
/proc/413033/statm: 10360 3682 1520 2 0 2769 0
Current children cumulated CPU time: 1744.54 s
Current children cumulated vsize: 41440 KiB
Current children cumulated memory: 14728 KiB

Child status: 1
Real time (s): 1799.48
CPU time (s): 1744.58
CPU user time (s): 1744.56
CPU system time (s): 0.017709
CPU usage (%): 96.9489
Max. virtual memory (cumulated for all children) (KiB): 41440
Max. memory (cumulated for all children) (KiB): 14728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.56
system time used= 0.017709
maximum resident set size= 14728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2524
page faults= 0
swaps= 0
block input operations= 360
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 78234


# summary of solver processes directly reported to runsolver:
#   pid: 413033
#   total CPU time (s): 1744.58
#   total CPU user time (s): 1744.56
#   total CPU system time (s): 0.017709

??? end of timestamper thread
runsolver used 16.5308 second user time and 23.7803 second system time

The end
