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

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

running on 1 cores: 1

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


[startup+0.102212 s]*
/proc/loadavg: 0.00 0.00 0.00 6/470 414890
/proc/meminfo: memFree=1734756/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=0.1 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1830 0 0 0 9 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+0.24521 s]*
/proc/loadavg: 0.00 0.00 0.00 7/471 414891
/proc/meminfo: memFree=1731228/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=0.21 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1831 0 0 0 20 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+0.334209 s]*
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1730220/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=0.28 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1833 0 0 0 27 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+0.701211 s]
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=0.57 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1844 0 0 0 56 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+1.51022 s]
/proc/loadavg: 0.00 0.00 0.00 5/471 414891
/proc/meminfo: memFree=1728960/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=1.35 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1860 0 0 0 134 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+3.12621 s]
/proc/loadavg: 0.40 0.08 0.03 5/471 414891
/proc/meminfo: memFree=1728236/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=2.91 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1863 0 0 0 290 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+6.30121 s]
/proc/loadavg: 0.40 0.08 0.03 5/471 414891
/proc/meminfo: memFree=1728076/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=11848 CPUtime=5.99 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1863 0 0 0 598 1 0 0 20 0 1 0 226785673 40534016 2962 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 2962 1491 2 0 2305 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 11848 KiB

[startup+12.7012 s]
/proc/loadavg: 1.03 0.23 0.08 5/471 414900
/proc/meminfo: memFree=1721144/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=13732 CPUtime=12.2 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1865 0 0 0 1219 1 0 0 20 0 1 0 226785673 40534016 3433 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3433 1491 2 0 2305 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 13732 KiB

[startup+25.5012 s]
/proc/loadavg: 1.49 0.35 0.12 5/471 414900
/proc/meminfo: memFree=1721428/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=24.58 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1867 0 0 0 2457 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+51.1342 s]
/proc/loadavg: 2.49 0.68 0.23 5/471 414900
/proc/meminfo: memFree=1720860/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=49.38 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1869 0 0 0 4937 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 49.38 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+102.301 s]
/proc/loadavg: 3.47 1.27 0.46 6/471 414910
/proc/meminfo: memFree=1720136/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=99.01 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1875 0 0 0 9900 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 99.01 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+162.301 s]
/proc/loadavg: 3.81 1.77 0.69 6/471 414919
/proc/meminfo: memFree=1719852/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=157.23 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1882 0 0 0 15722 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 157.23 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+222.301 s]
/proc/loadavg: 3.93 2.18 0.90 5/472 414942
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=215.39 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1886 0 0 0 21538 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 215.39 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+282.301 s]
/proc/loadavg: 4.15 2.56 1.11 5/472 414951
/proc/meminfo: memFree=1717804/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=273.58 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1892 0 0 0 27357 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 273.58 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+342.303 s]
/proc/loadavg: 4.49 2.95 1.33 6/471 414960
/proc/meminfo: memFree=1717836/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=331.75 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1896 0 0 0 33174 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 331.75 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+402.308 s]
/proc/loadavg: 4.32 3.19 1.52 5/471 414972
/proc/meminfo: memFree=1717952/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=389.79 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1902 0 0 0 38978 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 389.79 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+462.301 s]
/proc/loadavg: 4.19 3.35 1.68 5/471 414982
/proc/meminfo: memFree=1716976/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=447.99 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1905 0 0 0 44798 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 447.99 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+522.301 s]
/proc/loadavg: 4.19 3.50 1.84 6/469 414991
/proc/meminfo: memFree=1716944/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=506.22 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1912 0 0 0 50621 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 506.22 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+582.301 s]
/proc/loadavg: 4.15 3.63 1.99 5/469 415001
/proc/meminfo: memFree=1716564/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=564.31 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1917 0 0 0 56430 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 564.31 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+642.301 s]
/proc/loadavg: 4.05 3.70 2.12 5/469 415010
/proc/meminfo: memFree=1716312/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=622.44 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1921 0 0 0 62243 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 622.44 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+702.301 s]
/proc/loadavg: 4.02 3.75 2.24 6/470 415020
/proc/meminfo: memFree=1715524/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14052 CPUtime=680.7 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1926 0 0 0 68069 1 0 0 20 0 1 0 226785673 40534016 3513 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3513 1507 2 0 2305 0
Current children cumulated CPU time: 680.7 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14052 KiB

[startup+762.302 s]
/proc/loadavg: 4.12 3.83 2.36 5/470 415030
/proc/meminfo: memFree=1715272/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=738.95 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1933 0 0 0 73894 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 738.95 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+822.301 s]
/proc/loadavg: 4.35 3.96 2.50 5/470 415041
/proc/meminfo: memFree=1715240/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=797.2 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1938 0 0 0 79719 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 797.2 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+882.301 s]
/proc/loadavg: 4.24 4.01 2.61 6/470 415050
/proc/meminfo: memFree=1714736/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=855.47 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1943 0 0 0 85546 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 855.47 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+942.301 s]
/proc/loadavg: 4.13 4.02 2.71 6/470 415059
/proc/meminfo: memFree=1714232/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=913.78 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1948 0 0 0 91377 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 913.78 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1002.3 s]
/proc/loadavg: 4.17 4.04 2.80 6/469 415069
/proc/meminfo: memFree=1713696/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=972.1 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1952 0 0 0 97209 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 972.1 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1062.3 s]
/proc/loadavg: 4.31 4.11 2.90 6/469 415089
/proc/meminfo: memFree=1713412/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1030.39 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1956 0 0 0 103038 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1030.39 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1122.3 s]
/proc/loadavg: 4.30 4.14 2.99 5/469 415104
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1088.69 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1961 0 0 0 108868 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1088.69 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1182.3 s]
/proc/loadavg: 4.44 4.19 3.08 5/469 415113
/proc/meminfo: memFree=1713380/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1147 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1965 0 0 0 114699 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1147 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1242.3 s]
/proc/loadavg: 4.55 4.27 3.18 5/469 415122
/proc/meminfo: memFree=1713000/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1205.3 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1971 0 0 0 120529 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1205.3 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1302.3 s]
/proc/loadavg: 4.92 4.40 3.29 5/469 415132
/proc/meminfo: memFree=1713204/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1263.49 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1973 0 0 0 126348 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1263.49 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1362.3 s]
/proc/loadavg: 6.57 4.96 3.55 5/469 415141
/proc/meminfo: memFree=1713676/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1321.8 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1978 0 0 0 132179 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1321.8 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1422.3 s]
/proc/loadavg: 6.88 5.36 3.78 6/469 415152
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1380.06 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1982 0 0 0 138005 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1380.06 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1482.3 s]
/proc/loadavg: 6.26 5.49 3.93 6/469 415162
/proc/meminfo: memFree=1713960/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=39584 memory=14316 CPUtime=1438.23 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 1985 0 0 0 143822 1 0 0 20 0 1 0 226785673 40534016 3579 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 9896 3579 1507 2 0 2305 0
Current children cumulated CPU time: 1438.23 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 14316 KiB

[startup+1542.3 s]
/proc/loadavg: 5.76 5.46 4.02 5/469 415171
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1496.45 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 149643 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1496.45 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB

[startup+1602.3 s]
/proc/loadavg: 5.74 5.52 4.13 5/469 415180
/proc/meminfo: memFree=1713488/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1554.76 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 155474 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1554.76 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB

[startup+1662.3 s]
/proc/loadavg: 5.28 5.43 4.19 6/469 415189
/proc/meminfo: memFree=1713456/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1613.12 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 161310 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1613.12 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB

[startup+1722.3 s]
/proc/loadavg: 4.54 5.20 4.19 5/469 415199
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1671.48 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 167146 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1671.48 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB

[startup+1782.31 s]
/proc/loadavg: 4.20 4.98 4.17 5/469 415209
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1729.82 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 172980 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1729.82 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.22 4.93 4.17 7/470 415211
/proc/meminfo: memFree=1713172/3717660 swapFree=8388604/8388604
[pid=414876] ppid=414875 vsize=40096 memory=15148 CPUtime=1747.01 cores=1
/proc/414876/stat : 414876 (pigeonPurSampli) R 414875 414876 414856 0 -1 4194304 2167 0 0 0 174699 2 0 0 20 0 1 0 226785673 41058304 3787 18446744073709551615 94856853803008 94856853807120 140722880250832 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94856855907584 94856855908356 94856882622464 140722880254451 140722880254549 140722880254549 140722880258017 0
/proc/414876/statm: 10024 3787 1507 2 0 2433 0
Current children cumulated CPU time: 1747.01 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 15148 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 414876 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1747.03 s, system=0.023599 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1747.05
CPU user time (s): 1747.03
CPU system time (s): 0.023599
CPU usage (%): 97.0547
Max. virtual memory (cumulated for all children) (KiB): 40096
Max. memory (cumulated for all children) (KiB): 15148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.03
system time used= 0.023599
maximum resident set size= 15148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2169
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= 27
involuntary context switches= 111371


# summary of solver processes directly reported to runsolver:
#   pid: 414876
#   total CPU time (s): 1747.05
#   total CPU user time (s): 1747.03
#   total CPU system time (s): 0.023599

??? end of timestamper thread
runsolver used 16.434 second user time and 22.7941 second system time

The end
