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: 15822 MiB (14916 MiB free)
  memory of node 1: 16124 MiB (15018 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net50-25-1.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.102245 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30593804/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=0.05 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1847 0 0 0 5 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+0.230244 s]*
/proc/loadavg: 0.01 0.00 0.00 13/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=0.16 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1847 0 0 0 16 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+0.328243 s]*
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=0.24 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1848 0 0 0 24 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+0.701246 s]
/proc/loadavg: 0.01 0.00 0.00 13/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=0.55 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1848 0 0 0 55 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+1.50124 s]
/proc/loadavg: 0.01 0.00 0.00 13/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=1.33 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1861 0 0 0 133 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+3.13025 s]
/proc/loadavg: 0.01 0.00 0.00 12/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=2.91 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1874 0 0 0 291 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+6.30125 s]
/proc/loadavg: 1.21 0.25 0.08 12/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=6.01 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1878 0 0 0 601 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+12.7012 s]
/proc/loadavg: 2.31 0.50 0.16 13/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=11988 CPUtime=12.27 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1878 0 0 0 1227 0 0 0 20 0 1 0 191294450 40521728 2997 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 2997 1492 2 0 2305 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 11988 KiB

[startup+25.5012 s]
/proc/loadavg: 5.12 1.21 0.40 13/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=12252 CPUtime=24.76 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1925 0 0 0 2476 0 0 0 20 0 1 0 191294450 40521728 3063 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 3063 1492 2 0 2305 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12252 KiB

[startup+51.1303 s]
/proc/loadavg: 8.65 2.35 0.80 13/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=12516 CPUtime=49.76 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1988 0 0 0 4976 0 0 0 20 0 1 0 191294450 40521728 3129 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 3129 1492 2 0 2305 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12516 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 12/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39572 memory=12516 CPUtime=99.72 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 1997 0 0 0 9972 0 0 0 20 0 1 0 191294450 40521728 3129 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9893 3129 1492 2 0 2305 0
Current children cumulated CPU time: 99.72 s
Current children cumulated vsize: 39572 KiB
Current children cumulated memory: 12516 KiB

[startup+162.3 s]
/proc/loadavg: 10.37 5.22 2.04 13/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=39704 memory=13044 CPUtime=158.3 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2105 0 0 0 15830 0 0 0 20 0 1 0 191294450 40656896 3261 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 9926 3261 1492 2 0 2338 0
Current children cumulated CPU time: 158.3 s
Current children cumulated vsize: 39704 KiB
Current children cumulated memory: 13044 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 13/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=40128 memory=13308 CPUtime=216.91 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2198 0 0 0 21691 0 0 0 20 0 1 0 191294450 41091072 3327 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10032 3327 1492 2 0 2444 0
Current children cumulated CPU time: 216.91 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 13308 KiB

[startup+282.3 s]
/proc/loadavg: 8.81 6.41 2.87 12/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=40408 memory=13572 CPUtime=275.53 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2272 0 0 0 27553 0 0 0 20 0 1 0 191294450 41377792 3393 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10102 3393 1492 2 0 2514 0
Current children cumulated CPU time: 275.53 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 13572 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 13/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=40408 memory=13572 CPUtime=334.15 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2299 0 0 0 33415 0 0 0 20 0 1 0 191294450 41377792 3393 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10102 3393 1492 2 0 2514 0
Current children cumulated CPU time: 334.15 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 13572 KiB

[startup+402.3 s]
/proc/loadavg: 8.29 7.03 3.53 12/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=40684 memory=13836 CPUtime=392.77 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2356 0 0 0 39277 0 0 0 20 0 1 0 191294450 41660416 3459 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10171 3459 1492 2 0 2583 0
Current children cumulated CPU time: 392.77 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 13836 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 12/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=40824 memory=14100 CPUtime=451.38 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2406 0 0 0 45138 0 0 0 20 0 1 0 191294450 41803776 3525 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10206 3525 1492 2 0 2618 0
Current children cumulated CPU time: 451.38 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 14100 KiB

[startup+522.3 s]
/proc/loadavg: 8.05 7.37 4.08 12/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41240 memory=14628 CPUtime=509.92 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2503 0 0 0 50991 1 0 0 20 0 1 0 191294450 42229760 3657 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10310 3657 1492 2 0 2722 0
Current children cumulated CPU time: 509.92 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 14628 KiB

[startup+582.301 s]
/proc/loadavg: 8.75 7.66 4.39 12/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41520 memory=14628 CPUtime=568.55 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2555 0 0 0 56854 1 0 0 20 0 1 0 191294450 42516480 3657 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10380 3657 1492 2 0 2792 0
Current children cumulated CPU time: 568.55 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 14628 KiB

[startup+642.3 s]
/proc/loadavg: 8.71 7.87 4.67 13/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41660 memory=14892 CPUtime=627.17 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2601 0 0 0 62716 1 0 0 20 0 1 0 191294450 42659840 3723 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10415 3723 1492 2 0 2827 0
Current children cumulated CPU time: 627.17 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 14892 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 13/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41660 memory=14892 CPUtime=685.81 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2604 0 0 0 68580 1 0 0 20 0 1 0 191294450 42659840 3723 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10415 3723 1492 2 0 2827 0
Current children cumulated CPU time: 685.81 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 14892 KiB

[startup+762.3 s]
/proc/loadavg: 8.27 8.00 5.11 14/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=15156 CPUtime=744.45 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2674 0 0 0 74444 1 0 0 20 0 1 0 191294450 42921984 3789 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 3789 1492 2 0 2891 0
Current children cumulated CPU time: 744.45 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 15156 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 14/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=15156 CPUtime=803.1 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2681 0 0 0 80309 1 0 0 20 0 1 0 191294450 42921984 3789 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 3789 1492 2 0 2891 0
Current children cumulated CPU time: 803.1 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 15156 KiB

[startup+882.3 s]
/proc/loadavg: 8.10 8.03 5.48 15/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=15156 CPUtime=861.71 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2681 0 0 0 86170 1 0 0 20 0 1 0 191294450 42921984 3789 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 3789 1492 2 0 2891 0
Current children cumulated CPU time: 861.71 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 15156 KiB

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 5.66 15/572 332254
/proc/meminfo: memFree=30561668/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=15156 CPUtime=920.38 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2681 0 0 0 92037 1 0 0 20 0 1 0 191294450 42921984 3789 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 3789 1492 2 0 2891 0
Current children cumulated CPU time: 920.38 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 15156 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 12/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16008 CPUtime=979.03 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2687 0 0 0 97902 1 0 0 20 0 1 0 191294450 42921984 4002 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4002 1492 2 0 2891 0
Current children cumulated CPU time: 979.03 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16008 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 12/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1037.63 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2699 0 0 0 103762 1 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1037.63 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 14/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1096.2 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2705 0 0 0 109619 1 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1096.2 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1182.3 s]
/proc/loadavg: 8.77 8.44 6.37 15/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1154.85 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2707 0 0 0 115484 1 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1154.85 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 16/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1213.51 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2709 0 0 0 121350 1 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1213.51 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 14/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1272.14 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2711 0 0 0 127213 1 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1272.14 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.27 6.68 15/572 332344
/proc/meminfo: memFree=30548596/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1330.81 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2713 0 0 0 133079 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1330.81 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 15/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1389.47 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2715 0 0 0 138945 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1389.47 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.27 6.88 14/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1448.14 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2717 0 0 0 144812 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1448.14 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 15/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1506.81 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2719 0 0 0 150679 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1506.81 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 14/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1565.46 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2721 0 0 0 156544 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1565.46 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 15/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1624.09 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2723 0 0 0 162407 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1624.09 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1722.3 s]
/proc/loadavg: 8.30 8.33 7.23 12/571 332403
/proc/meminfo: memFree=30546056/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1682.69 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2725 0 0 0 168267 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1682.69 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 14/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1741.33 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2727 0 0 0 174131 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1741.33 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.25 7.30 16/572 332423
/proc/meminfo: memFree=30545852/32713976 swapFree=33554428/33554428
[pid=332087] ppid=332064 vsize=41916 memory=16212 CPUtime=1758.65 cores=2
/proc/332087/stat : 332087 (pigeonPurSampli) R 332064 332087 332027 0 -1 4194304 2727 0 0 0 175863 2 0 0 20 0 1 0 191294450 42921984 4053 18446744073709551615 94424247566336 94424247570448 140725260604864 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 4 0 0 94424249670912 94424249671684 94424275243008 140725260608020 140725260608130 140725260608130 140725260611553 0
/proc/332087/statm: 10479 4053 1492 2 0 2891 0
Current children cumulated CPU time: 1758.65 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 16212 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 332087 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.65 s, system=0.023661 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.67
CPU user time (s): 1758.65
CPU system time (s): 0.023661
CPU usage (%): 97.702
Max. virtual memory (cumulated for all children) (KiB): 41916
Max. memory (cumulated for all children) (KiB): 16212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.65
system time used= 0.023661
maximum resident set size= 16212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2729
page faults= 0
swaps= 0
block input operations= 208
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 95426


# summary of solver processes directly reported to runsolver:
#   pid: 332087
#   total CPU time (s): 1758.67
#   total CPU user time (s): 1758.65
#   total CPU system time (s): 0.023661

??? end of timestamper thread
runsolver used 15.4767 second user time and 18.4999 second system time

The end
