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

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

running on 1 cores: 3

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


[startup+0.100732 s]*
/proc/loadavg: 0.00 0.32 1.60 8/472 413039
/proc/meminfo: memFree=1731340/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=0.09 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2438 0 0 0 9 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+0.231736 s]*
/proc/loadavg: 0.00 0.32 1.60 9/472 413039
/proc/meminfo: memFree=1729576/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=0.19 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2439 0 0 0 19 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+0.329749 s]*
/proc/loadavg: 0.00 0.32 1.60 8/472 413039
/proc/meminfo: memFree=1728512/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=0.27 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2439 0 0 0 27 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+0.700745 s]
/proc/loadavg: 0.00 0.32 1.60 8/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=0.57 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2439 0 0 0 57 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+1.50274 s]
/proc/loadavg: 0.00 0.32 1.60 9/472 413039
/proc/meminfo: memFree=1727252/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=1.34 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2439 0 0 0 134 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+3.13175 s]
/proc/loadavg: 0.32 0.38 1.61 8/472 413039
/proc/meminfo: memFree=1726676/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14540 CPUtime=2.91 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2443 0 0 0 291 0 0 0 20 0 1 0 225722842 42868736 3635 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3635 1539 2 0 2875 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14540 KiB

[startup+6.30575 s]
/proc/loadavg: 0.32 0.38 1.61 9/472 413039
/proc/meminfo: memFree=1726580/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=14804 CPUtime=5.99 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2487 0 0 0 599 0 0 0 20 0 1 0 225722842 42868736 3701 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3701 1539 2 0 2875 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14804 KiB

[startup+12.7057 s]
/proc/loadavg: 0.62 0.44 1.62 8/472 413039
/proc/meminfo: memFree=1724816/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=41864 memory=15332 CPUtime=12.2 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2619 0 0 0 1220 0 0 0 20 0 1 0 225722842 42868736 3833 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10466 3833 1539 2 0 2875 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15332 KiB

[startup+25.5057 s]
/proc/loadavg: 1.37 0.62 1.66 8/471 413047
/proc/meminfo: memFree=1723492/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42004 memory=15596 CPUtime=24.6 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2682 0 0 0 2460 0 0 0 20 0 1 0 225722842 43012096 3899 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10501 3899 1539 2 0 2910 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 15596 KiB

[startup+51.1298 s]
/proc/loadavg: 2.27 0.89 1.73 8/471 413048
/proc/meminfo: memFree=1722988/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42004 memory=15596 CPUtime=49.44 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2687 0 0 0 4944 0 0 0 20 0 1 0 225722842 43012096 3899 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10501 3899 1539 2 0 2910 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 15596 KiB

[startup+102.301 s]
/proc/loadavg: 3.31 1.39 1.85 7/470 413057
/proc/meminfo: memFree=1721948/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=15596 CPUtime=99.05 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2704 0 0 0 9905 0 0 0 20 0 1 0 225722842 43171840 3899 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 3899 1539 2 0 2949 0
Current children cumulated CPU time: 99.05 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 15596 KiB

[startup+162.302 s]
/proc/loadavg: 4.02 1.94 2.02 8/472 413069
/proc/meminfo: memFree=1714784/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=157.19 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2710 0 0 0 15718 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 157.19 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 KiB

[startup+222.302 s]
/proc/loadavg: 4.11 2.35 2.15 8/472 413078
/proc/meminfo: memFree=1714532/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=215.36 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2714 0 0 0 21535 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 215.36 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 KiB

[startup+282.302 s]
/proc/loadavg: 5.16 2.95 2.37 8/472 413087
/proc/meminfo: memFree=1714500/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=273.57 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2715 0 0 0 27356 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 273.57 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 KiB

[startup+342.301 s]
/proc/loadavg: 6.30 3.68 2.66 8/470 413097
/proc/meminfo: memFree=1714548/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=331.75 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2721 0 0 0 33174 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 331.75 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 KiB

[startup+402.302 s]
/proc/loadavg: 7.31 4.46 3.00 8/470 413106
/proc/meminfo: memFree=1713728/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=389.96 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2725 0 0 0 38995 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 389.96 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 KiB

[startup+462.31 s]
/proc/loadavg: 7.06 4.91 3.24 9/468 413115
/proc/meminfo: memFree=1713192/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42160 memory=17204 CPUtime=448.19 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2726 0 0 0 44818 1 0 0 20 0 1 0 225722842 43171840 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10540 4301 1539 2 0 2949 0
Current children cumulated CPU time: 448.19 s
Current children cumulated vsize: 42160 KiB
Current children cumulated memory: 17204 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=413037] ppid=413036 vsize=42292 memory=17204 CPUtime=506.41 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2745 0 0 0 50640 1 0 0 20 0 1 0 225722842 43307008 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4301 1539 2 0 2982 0
Current children cumulated CPU time: 506.41 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17204 KiB

[startup+582.306 s]
/proc/loadavg: 4.99 4.92 3.46 8/470 413136
/proc/meminfo: memFree=1712656/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17204 CPUtime=564.65 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2745 0 0 0 56464 1 0 0 20 0 1 0 225722842 43307008 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4301 1539 2 0 2982 0
Current children cumulated CPU time: 564.65 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17204 KiB

[startup+642.301 s]
/proc/loadavg: 4.36 4.75 3.50 8/470 413146
/proc/meminfo: memFree=1713160/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17204 CPUtime=622.87 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2745 0 0 0 62285 2 0 0 20 0 1 0 225722842 43307008 4301 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4301 1539 2 0 2982 0
Current children cumulated CPU time: 622.87 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17204 KiB

[startup+702.304 s]
/proc/loadavg: 4.13 4.61 3.54 8/470 413155
/proc/meminfo: memFree=1712624/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=681.1 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2756 0 0 0 68108 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 681.1 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 KiB

[startup+762.302 s]
/proc/loadavg: 4.12 4.52 3.57 8/470 413165
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=739.33 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2756 0 0 0 73931 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 739.33 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 KiB

[startup+822.301 s]
/proc/loadavg: 4.04 4.42 3.60 8/470 413175
/proc/meminfo: memFree=1712560/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=797.55 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2757 0 0 0 79753 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 797.55 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 KiB

[startup+882.301 s]
/proc/loadavg: 4.21 4.39 3.65 8/470 413195
/proc/meminfo: memFree=1712340/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=855.72 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2762 0 0 0 85570 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 855.72 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 KiB

[startup+942.309 s]
/proc/loadavg: 4.45 4.41 3.70 7/469 413205
/proc/meminfo: memFree=1711804/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=913.87 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2763 0 0 0 91385 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 913.87 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 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=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=971.97 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2767 0 0 0 97195 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 971.97 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 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=413037] ppid=413036 vsize=42292 memory=17464 CPUtime=1030.07 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2773 0 0 0 103005 2 0 0 20 0 1 0 225722842 43307008 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10573 4366 1539 2 0 2982 0
Current children cumulated CPU time: 1030.07 s
Current children cumulated vsize: 42292 KiB
Current children cumulated memory: 17464 KiB

[startup+1122.3 s]
/proc/loadavg: 4.23 4.38 3.83 8/469 413234
/proc/meminfo: memFree=1711204/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42436 memory=17464 CPUtime=1088.18 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2782 0 0 0 108816 2 0 0 20 0 1 0 225722842 43454464 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4366 1539 2 0 3018 0
Current children cumulated CPU time: 1088.18 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17464 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.31 3.84 8/470 413244
/proc/meminfo: memFree=1711424/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42436 memory=17464 CPUtime=1146.42 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2782 0 0 0 114640 2 0 0 20 0 1 0 225722842 43454464 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4366 1539 2 0 3018 0
Current children cumulated CPU time: 1146.42 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17464 KiB

[startup+1242.3 s]
/proc/loadavg: 4.18 4.29 3.86 8/470 413254
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42436 memory=17464 CPUtime=1204.57 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2792 0 0 0 120454 3 0 0 20 0 1 0 225722842 43454464 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4366 1539 2 0 3018 0
Current children cumulated CPU time: 1204.57 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17464 KiB

[startup+1302.31 s]
/proc/loadavg: 4.36 4.32 3.91 9/470 413263
/proc/meminfo: memFree=1711140/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42436 memory=17464 CPUtime=1262.8 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2798 0 0 0 126277 3 0 0 20 0 1 0 225722842 43454464 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4366 1539 2 0 3018 0
Current children cumulated CPU time: 1262.8 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17464 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=413037] ppid=413036 vsize=42436 memory=17464 CPUtime=1321.02 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2811 0 0 0 132099 3 0 0 20 0 1 0 225722842 43454464 4366 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4366 1539 2 0 3018 0
Current children cumulated CPU time: 1321.02 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17464 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=413037] ppid=413036 vsize=42436 memory=17728 CPUtime=1379.24 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2817 0 0 0 137921 3 0 0 20 0 1 0 225722842 43454464 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4432 1539 2 0 3018 0
Current children cumulated CPU time: 1379.24 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17728 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=413037] ppid=413036 vsize=42436 memory=17728 CPUtime=1437.46 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2817 0 0 0 143743 3 0 0 20 0 1 0 225722842 43454464 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10609 4432 1539 2 0 3018 0
Current children cumulated CPU time: 1437.46 s
Current children cumulated vsize: 42436 KiB
Current children cumulated memory: 17728 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=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1495.69 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2839 0 0 0 149566 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1495.69 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1602.3 s]
/proc/loadavg: 4.02 4.23 4.00 8/471 413314
/proc/meminfo: memFree=1710760/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1553.91 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2839 0 0 0 155388 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1553.91 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1662.3 s]
/proc/loadavg: 4.01 4.18 4.00 8/471 413323
/proc/meminfo: memFree=1710728/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1612.13 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 161210 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1612.13 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1722.3 s]
/proc/loadavg: 4.00 4.15 4.00 8/471 413337
/proc/meminfo: memFree=1710444/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1670.36 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 167033 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1670.36 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1782.31 s]
/proc/loadavg: 4.35 4.21 4.03 8/471 413346
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1728.58 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 172855 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1728.58 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB
slurmstepd: error: *** JOB 4291 ON node202 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:

[startup+1799.45 s]
# the end of solver process 413037 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.2 s, system=0.039683 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 7/472 413348
/proc/meminfo: memFree=1710412/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1738.02 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 173799 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1738.02 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 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=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1741.1 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 174107 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1741.1 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1796.8 s]
/proc/loadavg: 4.64 4.29 4.06 9/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1742.67 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 174264 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1742.67 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1798.4 s]
/proc/loadavg: 4.64 4.29 4.06 8/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1744.21 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 174418 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1744.21 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1799.2 s]
/proc/loadavg: 4.75 4.32 4.07 9/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1744.99 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 174496 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1744.99 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

[startup+1799.4 s]
/proc/loadavg: 4.75 4.32 4.07 9/472 413348
/proc/meminfo: memFree=1710160/3717660 swapFree=8388604/8388604
[pid=413037] ppid=413036 vsize=42584 memory=17728 CPUtime=1745.18 cores=3
/proc/413037/stat : 413037 (pigeonPurSampli) R 413036 413037 413019 0 -1 4194304 2844 0 0 0 174515 3 0 0 20 0 1 0 225722842 43606016 4432 18446744073709551615 94540266766336 94540266770448 140720596766944 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94540268870912 94540268871684 94540288032768 140720596771316 140720596771414 140720596771414 140720596774881 0
/proc/413037/statm: 10646 4432 1539 2 0 3055 0
Current children cumulated CPU time: 1745.18 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 17728 KiB

Child status: 1
Real time (s): 1799.45
CPU time (s): 1745.24
CPU user time (s): 1745.2
CPU system time (s): 0.039683
CPU usage (%): 96.9873
Max. virtual memory (cumulated for all children) (KiB): 42584
Max. memory (cumulated for all children) (KiB): 17728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.2
system time used= 0.039683
maximum resident set size= 17728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2847
page faults= 0
swaps= 0
block input operations= 464
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 122543


# summary of solver processes directly reported to runsolver:
#   pid: 413037
#   total CPU time (s): 1745.24
#   total CPU user time (s): 1745.2
#   total CPU system time (s): 0.039683

??? end of timestamper thread
runsolver used 16.805 second user time and 23.0647 second system time

The end
