runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1682 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/aloul/Lisa/lisa19_3_a.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100577 s]*
/proc/loadavg: 0.00 0.15 1.13 7/457 420475
/proc/meminfo: memFree=1700196/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12028 CPUtime=0.1 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1828 0 0 0 9 1 0 0 20 0 1 0 226539685 40529920 3007 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3007 1537 2 0 2304 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12028 KiB

[startup+0.241581 s]*
/proc/loadavg: 0.00 0.15 1.13 7/457 420475
/proc/meminfo: memFree=1699188/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12028 CPUtime=0.21 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1829 0 0 0 20 1 0 0 20 0 1 0 226539685 40529920 3007 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3007 1537 2 0 2304 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12028 KiB

[startup+0.336574 s]*
/proc/loadavg: 0.00 0.15 1.13 8/457 420475
/proc/meminfo: memFree=1697928/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12028 CPUtime=0.28 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1829 0 0 0 27 1 0 0 20 0 1 0 226539685 40529920 3007 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3007 1537 2 0 2304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12028 KiB

[startup+0.700574 s]
/proc/loadavg: 0.00 0.15 1.13 7/457 420475
/proc/meminfo: memFree=1696920/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12028 CPUtime=0.57 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1837 0 0 0 56 1 0 0 20 0 1 0 226539685 40529920 3007 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3007 1537 2 0 2304 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12028 KiB

[startup+1.50958 s]
/proc/loadavg: 0.00 0.15 1.13 8/457 420475
/proc/meminfo: memFree=1696712/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12028 CPUtime=1.35 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1860 0 0 0 134 1 0 0 20 0 1 0 226539685 40529920 3007 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3007 1537 2 0 2304 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12028 KiB

[startup+3.13357 s]
/proc/loadavg: 0.32 0.21 1.14 7/457 420475
/proc/meminfo: memFree=1696460/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=2.91 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1872 0 0 0 290 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+6.30957 s]
/proc/loadavg: 0.32 0.21 1.14 7/457 420475
/proc/meminfo: memFree=1696332/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=5.99 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1874 0 0 0 598 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+12.7006 s]
/proc/loadavg: 0.89 0.34 1.18 7/457 420475
/proc/meminfo: memFree=1696080/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=12.2 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1875 0 0 0 1219 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+25.5006 s]
/proc/loadavg: 1.67 0.52 1.23 7/457 420484
/proc/meminfo: memFree=1694788/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=24.61 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1878 0 0 0 2460 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+51.1336 s]
/proc/loadavg: 2.60 0.83 1.31 7/457 420484
/proc/meminfo: memFree=1694284/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=49.45 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1883 0 0 0 4944 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 49.45 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+102.301 s]
/proc/loadavg: 3.88 1.48 1.51 7/457 420493
/proc/meminfo: memFree=1693496/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=99.07 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1892 0 0 0 9906 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 99.07 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+162.301 s]
/proc/loadavg: 4.06 1.98 1.68 7/457 420502
/proc/meminfo: memFree=1693156/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=157.24 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1899 0 0 0 15723 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 157.24 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+222.301 s]
/proc/loadavg: 4.06 2.37 1.84 8/457 420512
/proc/meminfo: memFree=1692652/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=215.38 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1906 0 0 0 21537 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 215.38 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+282.301 s]
/proc/loadavg: 4.02 2.67 1.97 7/457 420523
/proc/meminfo: memFree=1692368/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=273.56 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1913 0 0 0 27355 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 273.56 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+342.31 s]
/proc/loadavg: 4.25 2.99 2.13 7/455 420533
/proc/meminfo: memFree=1688780/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12292 CPUtime=331.74 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1921 0 0 0 33173 1 0 0 20 0 1 0 226539685 40529920 3073 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3073 1537 2 0 2304 0
Current children cumulated CPU time: 331.74 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12292 KiB

[startup+402.301 s]
/proc/loadavg: 4.30 3.23 2.27 7/455 420543
/proc/meminfo: memFree=1688808/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=389.88 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1932 0 0 0 38987 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 389.88 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+462.301 s]
/proc/loadavg: 4.32 3.44 2.40 7/455 420552
/proc/meminfo: memFree=1687824/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=448.03 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1940 0 0 0 44802 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 448.03 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+522.301 s]
/proc/loadavg: 4.33 3.62 2.53 8/455 420561
/proc/meminfo: memFree=1688296/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=506.17 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1948 0 0 0 50616 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 506.17 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+582.309 s]
/proc/loadavg: 4.12 3.69 2.63 7/454 420571
/proc/meminfo: memFree=1687948/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=564.34 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1955 0 0 0 56433 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 564.34 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+642.301 s]
/proc/loadavg: 4.12 3.76 2.72 7/455 420581
/proc/meminfo: memFree=1687980/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=622.5 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1961 0 0 0 62249 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 622.5 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+702.301 s]
/proc/loadavg: 4.04 3.81 2.80 7/455 420591
/proc/meminfo: memFree=1687444/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=680.67 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1969 0 0 0 68066 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 680.67 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+762.301 s]
/proc/loadavg: 4.01 3.85 2.88 7/455 420600
/proc/meminfo: memFree=1687160/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=738.83 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1975 0 0 0 73882 1 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 738.83 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+822.301 s]
/proc/loadavg: 4.19 3.92 2.97 7/455 420610
/proc/meminfo: memFree=1687128/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=797 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1983 0 0 0 79698 2 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 797 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+882.301 s]
/proc/loadavg: 4.33 4.02 3.06 8/455 420620
/proc/meminfo: memFree=1687160/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12556 CPUtime=855.16 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1992 0 0 0 85514 2 0 0 20 0 1 0 226539685 40529920 3139 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3139 1537 2 0 2304 0
Current children cumulated CPU time: 855.16 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12556 KiB

[startup+942.301 s]
/proc/loadavg: 4.28 4.06 3.14 7/454 420629
/proc/meminfo: memFree=1686876/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12820 CPUtime=913.29 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 1999 0 0 0 91327 2 0 0 20 0 1 0 226539685 40529920 3205 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3205 1537 2 0 2304 0
Current children cumulated CPU time: 913.29 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12820 KiB

[startup+1002.3 s]
/proc/loadavg: 4.36 4.13 3.23 7/454 420640
/proc/meminfo: memFree=1686624/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12820 CPUtime=971.44 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2006 0 0 0 97142 2 0 0 20 0 1 0 226539685 40529920 3205 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3205 1537 2 0 2304 0
Current children cumulated CPU time: 971.44 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12820 KiB

[startup+1062.3 s]
/proc/loadavg: 4.17 4.12 3.28 9/455 420661
/proc/meminfo: memFree=1686340/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=39580 memory=12820 CPUtime=1029.55 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2015 0 0 0 102953 2 0 0 20 0 1 0 226539685 40529920 3205 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 9895 3205 1537 2 0 2304 0
Current children cumulated CPU time: 1029.55 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 12820 KiB

[startup+1122.31 s]
/proc/loadavg: 4.12 4.11 3.34 7/456 420679
/proc/meminfo: memFree=1685016/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1087.51 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2129 0 0 0 108749 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1087.51 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1182.3 s]
/proc/loadavg: 4.04 4.09 3.38 7/456 420688
/proc/meminfo: memFree=1684480/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1145.58 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2129 0 0 0 114556 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1145.58 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1242.3 s]
/proc/loadavg: 4.01 4.07 3.42 7/457 420698
/proc/meminfo: memFree=1683880/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1203.81 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2131 0 0 0 120379 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1203.81 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1302.3 s]
/proc/loadavg: 4.16 4.09 3.47 7/456 420708
/proc/meminfo: memFree=1684100/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1262 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2131 0 0 0 126198 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1262 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1362.3 s]
/proc/loadavg: 4.42 4.17 3.54 8/457 420718
/proc/meminfo: memFree=1683816/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1320.24 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2131 0 0 0 132022 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1320.24 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1422.31 s]
/proc/loadavg: 4.41 4.21 3.60 7/455 420727
/proc/meminfo: memFree=1684256/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1378.49 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2131 0 0 0 137847 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1378.49 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1482.3 s]
/proc/loadavg: 4.30 4.22 3.64 8/456 420739
/proc/meminfo: memFree=1683972/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1436.74 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2131 0 0 0 143672 2 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1436.74 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.19 3.67 7/455 420748
/proc/meminfo: memFree=1683940/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1494.92 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 149489 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1494.92 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.17 3.70 8/455 420757
/proc/meminfo: memFree=1683688/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1553.11 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 155308 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1553.11 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.15 3.73 8/455 420767
/proc/meminfo: memFree=1683404/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1611.33 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 161130 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1611.33 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1722.3 s]
/proc/loadavg: 4.07 4.13 3.75 7/455 420777
/proc/meminfo: memFree=1683372/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1669.59 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 166956 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1669.59 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

[startup+1782.31 s]
/proc/loadavg: 4.06 4.12 3.77 8/455 420787
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1727.88 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 172785 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1727.88 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.04 4.12 3.78 8/455 420788
/proc/meminfo: memFree=1683592/3726824 swapFree=8388604/8388604
[pid=420469] ppid=420468 vsize=40092 memory=13348 CPUtime=1745.06 cores=2
/proc/420469/stat : 420469 (pigeonPurSampli) R 420468 420469 420449 0 -1 4194304 2132 0 0 0 174503 3 0 0 20 0 1 0 226539685 41054208 3337 18446744073709551615 93946009051136 93946009055248 140731240832640 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93946011155712 93946011156484 93946029846528 140731240837619 140731240837717 140731240837717 140731240841185 0
/proc/420469/statm: 10023 3337 1537 2 0 2432 0
Current children cumulated CPU time: 1745.06 s
Current children cumulated vsize: 40092 KiB
Current children cumulated memory: 13348 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 420469 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1745.06 s, system=0.037447 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1745.1
CPU user time (s): 1745.06
CPU system time (s): 0.037447
CPU usage (%): 96.9471
Max. virtual memory (cumulated for all children) (KiB): 40092
Max. memory (cumulated for all children) (KiB): 13348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.06
system time used= 0.037447
maximum resident set size= 13348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2134
page faults= 0
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 70596


# summary of solver processes directly reported to runsolver:
#   pid: 420469
#   total CPU time (s): 1745.1
#   total CPU user time (s): 1745.06
#   total CPU system time (s): 0.037447

??? end of timestamper thread
runsolver used 16.6968 second user time and 23.8246 second system time

The end
