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: 2
  memory of node 0: 15859 MiB (13194 MiB free)
  memory of node 1: 16087 MiB (13611 MiB free)
  node distances:
     10  21
     21  10

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

running on 1 cores: 0

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


[startup+0.100561 s]*
/proc/loadavg: 0.00 0.00 0.00 10/553 1264935
/proc/meminfo: memFree=27408164/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=0.08 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1838 0 0 0 8 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+0.219564 s]*
/proc/loadavg: 0.00 0.00 0.00 9/553 1264935
/proc/meminfo: memFree=27405968/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=0.19 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1838 0 0 0 19 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+0.328561 s]*
/proc/loadavg: 0.00 0.00 0.00 10/553 1264935
/proc/meminfo: memFree=27404076/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=0.28 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1841 0 0 0 28 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+0.700565 s]
/proc/loadavg: 0.00 0.00 0.00 10/553 1264935
/proc/meminfo: memFree=27402176/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=0.59 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1844 0 0 0 59 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+1.50056 s]
/proc/loadavg: 0.00 0.00 0.00 9/553 1264935
/proc/meminfo: memFree=27401876/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=1.37 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1845 0 0 0 137 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+3.12356 s]
/proc/loadavg: 0.48 0.10 0.03 9/553 1264935
/proc/meminfo: memFree=27401580/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=2.95 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1845 0 0 0 295 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+6.30056 s]
/proc/loadavg: 0.48 0.10 0.03 9/554 1264937
/proc/meminfo: memFree=27401596/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=6.06 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1845 0 0 0 606 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+12.7006 s]
/proc/loadavg: 1.33 0.29 0.10 9/554 1264937
/proc/meminfo: memFree=27401400/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=12.31 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1846 0 0 0 1231 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+25.5006 s]
/proc/loadavg: 2.05 0.48 0.16 9/554 1264937
/proc/meminfo: memFree=27401560/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=24.82 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1847 0 0 0 2482 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+51.1286 s]
/proc/loadavg: 3.40 0.93 0.32 9/554 1264945
/proc/meminfo: memFree=27399764/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=49.84 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1849 0 0 0 4984 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+102.301 s]
/proc/loadavg: 4.96 1.78 0.65 10/554 1264954
/proc/meminfo: memFree=27398824/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=99.84 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1854 0 0 0 9984 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 99.84 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+162.301 s]
/proc/loadavg: 5.62 2.55 0.98 10/554 1264963
/proc/meminfo: memFree=27398424/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=158.46 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1859 0 0 0 15846 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 158.46 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+222.301 s]
/proc/loadavg: 5.92 3.20 1.31 9/554 1264975
/proc/meminfo: memFree=27396812/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=11764 CPUtime=217.08 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1869 0 0 0 21708 0 0 0 20 0 1 0 391904200 40521728 2941 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 2941 1469 2 0 2305 0
Current children cumulated CPU time: 217.08 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11764 KiB

[startup+282.301 s]
/proc/loadavg: 6.46 3.84 1.64 9/554 1264984
/proc/meminfo: memFree=27393928/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=12580 CPUtime=275.69 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1879 0 0 0 27569 0 0 0 20 0 1 0 391904200 40521728 3145 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3145 1469 2 0 2305 0
Current children cumulated CPU time: 275.69 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12580 KiB

[startup+342.301 s]
/proc/loadavg: 6.41 4.30 1.94 9/554 1265004
/proc/meminfo: memFree=27392376/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13124 CPUtime=334.29 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1949 0 0 0 33428 1 0 0 20 0 1 0 391904200 40521728 3281 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3281 1485 2 0 2305 0
Current children cumulated CPU time: 334.29 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13124 KiB

[startup+402.301 s]
/proc/loadavg: 6.15 4.61 2.20 9/554 1265014
/proc/meminfo: memFree=27392040/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13124 CPUtime=392.9 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 1976 0 0 0 39289 1 0 0 20 0 1 0 391904200 40521728 3281 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3281 1485 2 0 2305 0
Current children cumulated CPU time: 392.9 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13124 KiB

[startup+462.301 s]
/proc/loadavg: 6.05 4.87 2.44 9/554 1265023
/proc/meminfo: memFree=27391680/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13124 CPUtime=451.51 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2001 0 0 0 45150 1 0 0 20 0 1 0 391904200 40521728 3281 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3281 1485 2 0 2305 0
Current children cumulated CPU time: 451.51 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13124 KiB

[startup+522.301 s]
/proc/loadavg: 6.02 5.07 2.66 9/556 1265034
/proc/meminfo: memFree=27391212/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13372 CPUtime=510.12 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2012 0 0 0 51011 1 0 0 20 0 1 0 391904200 40521728 3343 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3343 1485 2 0 2305 0
Current children cumulated CPU time: 510.12 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13372 KiB

[startup+582.301 s]
/proc/loadavg: 6.05 5.26 2.88 9/556 1265044
/proc/meminfo: memFree=27390264/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13372 CPUtime=568.71 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2026 0 0 0 56870 1 0 0 20 0 1 0 391904200 40521728 3343 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3343 1485 2 0 2305 0
Current children cumulated CPU time: 568.71 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13372 KiB

[startup+642.301 s]
/proc/loadavg: 6.08 5.43 3.09 9/554 1265053
/proc/meminfo: memFree=27388744/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13372 CPUtime=627.32 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2042 0 0 0 62731 1 0 0 20 0 1 0 391904200 40521728 3343 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3343 1485 2 0 2305 0
Current children cumulated CPU time: 627.32 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13372 KiB

[startup+702.301 s]
/proc/loadavg: 6.11 5.55 3.28 9/554 1265062
/proc/meminfo: memFree=27386692/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13372 CPUtime=685.93 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2054 0 0 0 68592 1 0 0 20 0 1 0 391904200 40521728 3343 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3343 1485 2 0 2305 0
Current children cumulated CPU time: 685.93 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13372 KiB

[startup+762.301 s]
/proc/loadavg: 6.11 5.65 3.46 10/554 1265071
/proc/meminfo: memFree=27386312/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=39572 memory=13372 CPUtime=744.53 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2067 0 0 0 74452 1 0 0 20 0 1 0 391904200 40521728 3343 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 9893 3343 1485 2 0 2305 0
Current children cumulated CPU time: 744.53 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 13372 KiB

[startup+822.301 s]
/proc/loadavg: 6.09 5.73 3.62 9/555 1265083
/proc/meminfo: memFree=27385872/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=803.13 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2195 0 0 0 80312 1 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 803.13 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+882.301 s]
/proc/loadavg: 6.03 5.78 3.78 9/553 1265092
/proc/meminfo: memFree=27385932/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=861.73 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2196 0 0 0 86172 1 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 861.73 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+942.301 s]
/proc/loadavg: 6.01 5.83 3.92 9/553 1265101
/proc/meminfo: memFree=27385912/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=920.34 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2197 0 0 0 92033 1 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 920.34 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1002.3 s]
/proc/loadavg: 6.00 5.86 4.05 10/553 1265111
/proc/meminfo: memFree=27385948/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=978.95 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2198 0 0 0 97893 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 978.95 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1062.3 s]
/proc/loadavg: 6.00 5.89 4.18 9/553 1265131
/proc/meminfo: memFree=27385780/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1037.55 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2203 0 0 0 103753 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1037.55 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1122.3 s]
/proc/loadavg: 6.00 5.91 4.29 9/552 1265147
/proc/meminfo: memFree=27385752/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1096.15 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2204 0 0 0 109613 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1096.15 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1182.3 s]
/proc/loadavg: 6.00 5.93 4.40 9/552 1265156
/proc/meminfo: memFree=27385728/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1154.75 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2205 0 0 0 115473 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1154.75 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1242.3 s]
/proc/loadavg: 6.00 5.95 4.51 10/552 1265165
/proc/meminfo: memFree=27385444/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1213.36 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2206 0 0 0 121334 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1213.36 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1302.3 s]
/proc/loadavg: 6.11 5.99 4.61 9/553 1265176
/proc/meminfo: memFree=27385428/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1271.96 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2207 0 0 0 127194 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1271.96 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1362.3 s]
/proc/loadavg: 6.09 6.01 4.71 9/553 1265185
/proc/meminfo: memFree=27385376/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1330.57 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2208 0 0 0 133055 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1330.57 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1422.3 s]
/proc/loadavg: 6.03 6.00 4.79 9/553 1265195
/proc/meminfo: memFree=27385376/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=13884 CPUtime=1389.18 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2209 0 0 0 138916 2 0 0 20 0 1 0 391904200 41046016 3471 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3471 1485 2 0 2433 0
Current children cumulated CPU time: 1389.18 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13884 KiB

[startup+1482.3 s]
/proc/loadavg: 6.01 6.00 4.87 9/553 1265205
/proc/meminfo: memFree=27385424/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1447.78 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2210 0 0 0 144776 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1447.78 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

[startup+1542.3 s]
/proc/loadavg: 6.00 6.00 4.94 9/553 1265214
/proc/meminfo: memFree=27385244/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1506.38 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2211 0 0 0 150636 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1506.38 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

[startup+1602.3 s]
/proc/loadavg: 6.38 6.08 5.04 9/552 1265223
/proc/meminfo: memFree=27385428/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1564.99 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2212 0 0 0 156497 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1564.99 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

[startup+1662.3 s]
/proc/loadavg: 6.33 6.13 5.12 9/552 1265232
/proc/meminfo: memFree=27385028/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1623.6 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2213 0 0 0 162358 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1623.6 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

[startup+1722.3 s]
/proc/loadavg: 6.47 6.18 5.20 9/553 1265243
/proc/meminfo: memFree=27385316/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1682.2 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2214 0 0 0 168218 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1682.2 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

[startup+1782.3 s]
/proc/loadavg: 8.01 6.62 5.41 10/553 1265252
/proc/meminfo: memFree=27385508/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1740.8 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2215 0 0 0 174078 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1740.8 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.50 6.83 5.51 9/553 1265253
/proc/meminfo: memFree=27385492/32713960 swapFree=33554428/33554428
[pid=1264920] ppid=1264914 vsize=40084 memory=14104 CPUtime=1758.1 cores=0
/proc/1264920/stat : 1264920 (pigeonPurSampli) R 1264914 1264920 1264870 0 -1 4194304 2215 0 0 0 175808 2 0 0 20 0 1 0 391904200 41046016 3526 18446744073709551615 94191193657344 94191193661456 140727752859184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94191195761920 94191195762692 94191202770944 140727752860145 140727752860244 140727752860244 140727752863713 0
/proc/1264920/statm: 10021 3526 1485 2 0 2433 0
Current children cumulated CPU time: 1758.1 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 14104 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 1264920 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.11 s, system=0.029433 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1758.14
CPU user time (s): 1758.11
CPU system time (s): 0.029433
CPU usage (%): 97.6719
Max. virtual memory (cumulated for all children) (KiB): 40084
Max. memory (cumulated for all children) (KiB): 14104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.11
system time used= 0.029433
maximum resident set size= 14104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2217
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= 13
involuntary context switches= 24542


# summary of solver processes directly reported to runsolver:
#   pid: 1264920
#   total CPU time (s): 1758.14
#   total CPU user time (s): 1758.11
#   total CPU system time (s): 0.029433

??? end of timestamper thread
runsolver used 15.1696 second user time and 17.108 second system time

The end
