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_net40-60-1.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=332088, runsolver pid=332065
Current StackSize limit: 8192 KiB


[startup+0.10624 s]*
/proc/loadavg: 0.01 0.00 0.00 16/576 332107
/proc/meminfo: memFree=30593524/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=0.05 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2315 0 0 0 5 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 KiB

[startup+0.225244 s]*
/proc/loadavg: 0.01 0.00 0.00 11/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=0.15 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2316 0 0 0 15 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 KiB

[startup+0.319242 s]*
/proc/loadavg: 0.01 0.00 0.00 9/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=0.24 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2316 0 0 0 24 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 KiB

[startup+0.701241 s]
/proc/loadavg: 0.01 0.00 0.00 11/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=0.55 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2317 0 0 0 55 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 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=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=1.33 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2317 0 0 0 133 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 KiB

[startup+3.13024 s]
/proc/loadavg: 0.01 0.00 0.00 12/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=2.91 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2317 0 0 0 291 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 KiB

[startup+6.30124 s]
/proc/loadavg: 1.21 0.25 0.08 12/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=13868 CPUtime=6.01 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2336 0 0 0 601 0 0 0 20 0 1 0 191294450 42332160 3467 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3467 1501 2 0 2747 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13868 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=332088] ppid=332065 vsize=41340 memory=14396 CPUtime=12.26 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2448 0 0 0 1226 0 0 0 20 0 1 0 191294450 42332160 3599 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3599 1501 2 0 2747 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14396 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=332088] ppid=332065 vsize=41340 memory=14396 CPUtime=24.76 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2486 0 0 0 2476 0 0 0 20 0 1 0 191294450 42332160 3599 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3599 1501 2 0 2747 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14396 KiB

[startup+51.1252 s]
/proc/loadavg: 8.65 2.35 0.80 13/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41340 memory=14396 CPUtime=49.74 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2486 0 0 0 4974 0 0 0 20 0 1 0 191294450 42332160 3599 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3599 1501 2 0 2747 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14396 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=332088] ppid=332065 vsize=41340 memory=14660 CPUtime=99.68 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2503 0 0 0 9968 0 0 0 20 0 1 0 191294450 42332160 3665 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10335 3665 1501 2 0 2747 0
Current children cumulated CPU time: 99.68 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14660 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=332088] ppid=332065 vsize=41652 memory=14924 CPUtime=158.23 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2622 0 0 0 15823 0 0 0 20 0 1 0 191294450 42651648 3731 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10413 3731 1501 2 0 2825 0
Current children cumulated CPU time: 158.23 s
Current children cumulated vsize: 41652 KiB
Current children cumulated memory: 14924 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 14/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41652 memory=15188 CPUtime=216.79 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2630 0 0 0 21679 0 0 0 20 0 1 0 191294450 42651648 3797 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10413 3797 1501 2 0 2825 0
Current children cumulated CPU time: 216.79 s
Current children cumulated vsize: 41652 KiB
Current children cumulated memory: 15188 KiB

[startup+282.3 s]
/proc/loadavg: 8.81 6.41 2.87 15/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41804 memory=15188 CPUtime=275.39 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2652 0 0 0 27539 0 0 0 20 0 1 0 191294450 42807296 3797 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10451 3797 1501 2 0 2863 0
Current children cumulated CPU time: 275.39 s
Current children cumulated vsize: 41804 KiB
Current children cumulated memory: 15188 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 14/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41804 memory=15292 CPUtime=333.99 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2704 0 0 0 33399 0 0 0 20 0 1 0 191294450 42807296 3823 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10451 3823 1501 2 0 2863 0
Current children cumulated CPU time: 333.99 s
Current children cumulated vsize: 41804 KiB
Current children cumulated memory: 15292 KiB

[startup+402.3 s]
/proc/loadavg: 8.29 7.03 3.53 15/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41804 memory=15292 CPUtime=392.6 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2719 0 0 0 39260 0 0 0 20 0 1 0 191294450 42807296 3823 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10451 3823 1501 2 0 2863 0
Current children cumulated CPU time: 392.6 s
Current children cumulated vsize: 41804 KiB
Current children cumulated memory: 15292 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 15/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41948 memory=15292 CPUtime=451.21 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2728 0 0 0 45121 0 0 0 20 0 1 0 191294450 42954752 3823 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10487 3823 1501 2 0 2899 0
Current children cumulated CPU time: 451.21 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 15292 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=332088] ppid=332065 vsize=41948 memory=15292 CPUtime=509.8 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2728 0 0 0 50980 0 0 0 20 0 1 0 191294450 42954752 3823 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10487 3823 1501 2 0 2899 0
Current children cumulated CPU time: 509.8 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 15292 KiB

[startup+582.301 s]
/proc/loadavg: 8.75 7.66 4.39 14/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=41948 memory=15292 CPUtime=568.4 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2730 0 0 0 56840 0 0 0 20 0 1 0 191294450 42954752 3823 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10487 3823 1501 2 0 2899 0
Current children cumulated CPU time: 568.4 s
Current children cumulated vsize: 41948 KiB
Current children cumulated memory: 15292 KiB

[startup+642.3 s]
/proc/loadavg: 8.71 7.87 4.67 14/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42096 memory=15620 CPUtime=627.02 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2791 0 0 0 62702 0 0 0 20 0 1 0 191294450 43106304 3905 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10524 3905 1501 2 0 2936 0
Current children cumulated CPU time: 627.02 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 15620 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 14/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42096 memory=15680 CPUtime=685.64 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2817 0 0 0 68563 1 0 0 20 0 1 0 191294450 43106304 3920 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10524 3920 1501 2 0 2936 0
Current children cumulated CPU time: 685.64 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 15680 KiB

[startup+762.3 s]
/proc/loadavg: 8.27 8.00 5.11 12/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42096 memory=15684 CPUtime=744.26 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 2829 0 0 0 74425 1 0 0 20 0 1 0 191294450 43106304 3921 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10524 3921 1501 2 0 2936 0
Current children cumulated CPU time: 744.26 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 15684 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 12/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42508 memory=15748 CPUtime=802.86 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123042 0 0 0 80222 64 0 0 20 0 1 0 191294450 43528192 3937 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10627 3937 1501 2 0 3039 0
Current children cumulated CPU time: 802.86 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 15748 KiB

[startup+882.3 s]
/proc/loadavg: 8.10 8.03 5.48 16/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42508 memory=15748 CPUtime=861.48 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123050 0 0 0 86083 65 0 0 20 0 1 0 191294450 43528192 3937 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10627 3937 1501 2 0 3039 0
Current children cumulated CPU time: 861.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 15748 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=332088] ppid=332065 vsize=42508 memory=15748 CPUtime=920.12 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123067 0 0 0 91947 65 0 0 20 0 1 0 191294450 43528192 3937 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10627 3937 1501 2 0 3039 0
Current children cumulated CPU time: 920.12 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 15748 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 14/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42668 memory=16988 CPUtime=978.75 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123086 0 0 0 97810 65 0 0 20 0 1 0 191294450 43692032 4247 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10667 4247 1501 2 0 3079 0
Current children cumulated CPU time: 978.75 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 16988 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 15/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42668 memory=16988 CPUtime=1037.4 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123105 0 0 0 103675 65 0 0 20 0 1 0 191294450 43692032 4247 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10667 4247 1501 2 0 3079 0
Current children cumulated CPU time: 1037.4 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 16988 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 12/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42824 memory=17220 CPUtime=1096.04 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123140 0 0 0 109539 65 0 0 20 0 1 0 191294450 43851776 4305 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10706 4305 1501 2 0 3118 0
Current children cumulated CPU time: 1096.04 s
Current children cumulated vsize: 42824 KiB
Current children cumulated memory: 17220 KiB

[startup+1182.31 s]
/proc/loadavg: 8.77 8.44 6.37 11/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42960 memory=17220 CPUtime=1154.66 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123160 0 0 0 115401 65 0 0 20 0 1 0 191294450 43991040 4305 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4305 1501 2 0 3152 0
Current children cumulated CPU time: 1154.66 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17220 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 15/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42960 memory=17220 CPUtime=1213.26 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123169 0 0 0 121261 65 0 0 20 0 1 0 191294450 43991040 4305 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4305 1501 2 0 3152 0
Current children cumulated CPU time: 1213.26 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17220 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 12/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42960 memory=17220 CPUtime=1271.9 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123172 0 0 0 127125 65 0 0 20 0 1 0 191294450 43991040 4305 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4305 1501 2 0 3152 0
Current children cumulated CPU time: 1271.9 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17220 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=332088] ppid=332065 vsize=42960 memory=17452 CPUtime=1330.5 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123175 0 0 0 132985 65 0 0 20 0 1 0 191294450 43991040 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4363 1501 2 0 3152 0
Current children cumulated CPU time: 1330.5 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17452 KiB

[startup+1422.31 s]
/proc/loadavg: 8.04 8.22 6.77 14/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42960 memory=17452 CPUtime=1389.13 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123188 0 0 0 138847 66 0 0 20 0 1 0 191294450 43991040 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4363 1501 2 0 3152 0
Current children cumulated CPU time: 1389.13 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17452 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.27 6.88 12/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=42960 memory=17452 CPUtime=1447.74 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123199 0 0 0 144708 66 0 0 20 0 1 0 191294450 43991040 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10740 4363 1501 2 0 3152 0
Current children cumulated CPU time: 1447.74 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17452 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 12/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=43100 memory=17452 CPUtime=1506.37 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123210 0 0 0 150571 66 0 0 20 0 1 0 191294450 44134400 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10775 4363 1501 2 0 3187 0
Current children cumulated CPU time: 1506.37 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 17452 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 12/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=43100 memory=17452 CPUtime=1565 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123219 0 0 0 156434 66 0 0 20 0 1 0 191294450 44134400 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10775 4363 1501 2 0 3187 0
Current children cumulated CPU time: 1565 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 17452 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 12/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=43100 memory=17452 CPUtime=1623.62 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123223 0 0 0 162296 66 0 0 20 0 1 0 191294450 44134400 4363 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10775 4363 1501 2 0 3187 0
Current children cumulated CPU time: 1623.62 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 17452 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=332088] ppid=332065 vsize=43260 memory=17668 CPUtime=1682.22 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123250 0 0 0 168156 66 0 0 20 0 1 0 191294450 44298240 4417 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10815 4417 1501 2 0 3227 0
Current children cumulated CPU time: 1682.22 s
Current children cumulated vsize: 43260 KiB
Current children cumulated memory: 17668 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 12/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332088] ppid=332065 vsize=43260 memory=17668 CPUtime=1740.82 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123266 0 0 0 174016 66 0 0 20 0 1 0 191294450 44298240 4417 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10815 4417 1501 2 0 3227 0
Current children cumulated CPU time: 1740.82 s
Current children cumulated vsize: 43260 KiB
Current children cumulated memory: 17668 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=332088] ppid=332065 vsize=43260 memory=17668 CPUtime=1758.14 cores=0
/proc/332088/stat : 332088 (pigeonPurSampli) R 332065 332088 332020 0 -1 4194304 123266 0 0 0 175748 66 0 0 20 0 1 0 191294450 44298240 4417 18446744073709551615 94733835472896 94733835477008 140724321876144 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 3 0 0 94733837577472 94733837578244 94733860364288 140724321878548 140724321878658 140724321878658 140724321882081 0
/proc/332088/statm: 10815 4417 1501 2 0 3227 0
Current children cumulated CPU time: 1758.14 s
Current children cumulated vsize: 43260 KiB
Current children cumulated memory: 17668 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 332088 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1757.5 s, system=0.662297 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.17
CPU user time (s): 1757.5
CPU system time (s): 0.662297
CPU usage (%): 97.6735
Max. virtual memory (cumulated for all children) (KiB): 43260
Max. memory (cumulated for all children) (KiB): 17668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.5
system time used= 0.662297
maximum resident set size= 17764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123526
page faults= 0
swaps= 0
block input operations= 440
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 82636


# summary of solver processes directly reported to runsolver:
#   pid: 332088
#   total CPU time (s): 1758.17
#   total CPU user time (s): 1757.5
#   total CPU system time (s): 0.662297

??? end of timestamper thread
runsolver used 15.27 second user time and 18.7062 second system time

The end
