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_net60-25-1.shuffled.cnf 

running on 1 cores: 3

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


[startup+0.102196 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30593804/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=0.06 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1956 0 0 0 6 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+0.231195 s]*
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=0.17 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1956 0 0 0 17 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+0.323201 s]*
/proc/loadavg: 0.01 0.00 0.00 10/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=0.24 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1956 0 0 0 24 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+0.701201 s]
/proc/loadavg: 0.01 0.00 0.00 9/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=0.56 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1956 0 0 0 56 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+1.5012 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=1.33 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1956 0 0 0 133 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+3.1182 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12248 CPUtime=2.9 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 1973 0 0 0 290 0 0 0 20 0 1 0 191294450 40783872 3062 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3062 1492 2 0 2369 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12248 KiB

[startup+6.3012 s]
/proc/loadavg: 1.21 0.25 0.08 14/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12512 CPUtime=6.01 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2009 0 0 0 601 0 0 0 20 0 1 0 191294450 40783872 3128 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3128 1492 2 0 2369 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12512 KiB

[startup+12.7012 s]
/proc/loadavg: 2.31 0.50 0.16 14/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12512 CPUtime=12.27 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2031 0 0 0 1227 0 0 0 20 0 1 0 191294450 40783872 3128 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3128 1492 2 0 2369 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12512 KiB

[startup+25.5012 s]
/proc/loadavg: 5.12 1.21 0.40 14/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12512 CPUtime=24.76 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2037 0 0 0 2476 0 0 0 20 0 1 0 191294450 40783872 3128 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3128 1492 2 0 2369 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12512 KiB

[startup+51.1322 s]
/proc/loadavg: 8.65 2.35 0.80 14/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12512 CPUtime=49.78 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2038 0 0 0 4977 1 0 0 20 0 1 0 191294450 40783872 3128 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3128 1492 2 0 2369 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12512 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 15/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=99.71 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2049 0 0 0 9970 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 99.71 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+162.301 s]
/proc/loadavg: 10.37 5.22 2.04 15/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=158.2 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2053 0 0 0 15819 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 158.2 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 15/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=216.71 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2067 0 0 0 21670 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 216.71 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+282.3 s]
/proc/loadavg: 8.81 6.41 2.87 16/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=275.17 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2070 0 0 0 27516 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 275.17 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 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=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=333.65 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2074 0 0 0 33364 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 333.65 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+402.301 s]
/proc/loadavg: 8.29 7.03 3.53 15/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=392.16 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2075 0 0 0 39215 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 392.16 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 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=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=450.7 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2086 0 0 0 45069 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 450.7 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+522.301 s]
/proc/loadavg: 8.05 7.37 4.08 15/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=509.22 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2096 0 0 0 50921 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 509.22 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+582.301 s]
/proc/loadavg: 8.75 7.66 4.39 15/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=567.74 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2096 0 0 0 56773 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 567.74 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+642.301 s]
/proc/loadavg: 8.71 7.87 4.67 13/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=626.22 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2099 0 0 0 62621 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 626.22 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 15/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=684.68 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2108 0 0 0 68467 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 684.68 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+762.301 s]
/proc/loadavg: 8.27 8.00 5.11 15/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=743.18 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2108 0 0 0 74317 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 743.18 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 15/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=12776 CPUtime=801.65 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2108 0 0 0 80164 1 0 0 20 0 1 0 191294450 40783872 3194 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3194 1492 2 0 2369 0
Current children cumulated CPU time: 801.65 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12776 KiB

[startup+882.301 s]
/proc/loadavg: 8.10 8.03 5.48 15/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=13036 CPUtime=860.13 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2353 0 0 0 86012 1 0 0 20 0 1 0 191294450 40783872 3259 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3259 1492 2 0 2369 0
Current children cumulated CPU time: 860.13 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 13036 KiB

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 5.66 14/572 332254
/proc/meminfo: memFree=30561668/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=13036 CPUtime=918.59 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2366 0 0 0 91858 1 0 0 20 0 1 0 191294450 40783872 3259 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3259 1492 2 0 2369 0
Current children cumulated CPU time: 918.59 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 13036 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 15/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=977.07 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2374 0 0 0 97706 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 977.07 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 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=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1035.54 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2379 0 0 0 103553 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1035.54 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 15/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1094.04 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2390 0 0 0 109403 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1094.04 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1182.3 s]
/proc/loadavg: 8.77 8.44 6.37 16/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1152.54 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2399 0 0 0 115253 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1152.54 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 14/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1211.03 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2403 0 0 0 121102 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1211.03 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 15/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1269.52 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2411 0 0 0 126951 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1269.52 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.27 6.68 14/572 332344
/proc/meminfo: memFree=30548596/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1328.03 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2415 0 0 0 132802 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1328.03 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 14/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1386.51 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2417 0 0 0 138650 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1386.51 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.27 6.88 15/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1445 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2419 0 0 0 144499 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1445 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 13/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1503.47 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2433 0 0 0 150346 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1503.47 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 15/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1561.96 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2435 0 0 0 156195 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1561.96 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 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=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1620.46 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2436 0 0 0 162045 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1620.46 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1722.3 s]
/proc/loadavg: 8.30 8.33 7.23 15/571 332403
/proc/meminfo: memFree=30546056/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1678.97 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2438 0 0 0 167896 1 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1678.97 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 15/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1737.5 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2439 0 0 0 173748 2 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1737.5 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.25 7.30 15/572 332423
/proc/meminfo: memFree=30545852/32713976 swapFree=33554428/33554428
[pid=332090] ppid=332082 vsize=39828 memory=14636 CPUtime=1754.78 cores=3
/proc/332090/stat : 332090 (pigeonPurSampli) R 332082 332090 332061 0 -1 4194304 2439 0 0 0 175476 2 0 0 20 0 1 0 191294450 40783872 3659 18446744073709551615 94814580420608 94814580424720 140730293071792 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 3 0 0 94814582525184 94814582525956 94814601846784 140730293080596 140730293080706 140730293080706 140730293084129 0
/proc/332090/statm: 9957 3659 1492 2 0 2369 0
Current children cumulated CPU time: 1754.78 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 14636 KiB

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

Detected pigeons:

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

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1754.81
CPU user time (s): 1754.78
CPU system time (s): 0.021789
CPU usage (%): 97.4866
Max. virtual memory (cumulated for all children) (KiB): 39828
Max. memory (cumulated for all children) (KiB): 14636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.78
system time used= 0.021789
maximum resident set size= 14776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2650
page faults= 0
swaps= 0
block input operations= 248
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 53941


# summary of solver processes directly reported to runsolver:
#   pid: 332090
#   total CPU time (s): 1754.81
#   total CPU user time (s): 1754.78
#   total CPU system time (s): 0.021789

??? end of timestamper thread
runsolver used 15.9342 second user time and 19.8448 second system time

The end
