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

running on 1 cores: 1

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


[startup+0.103208 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30593804/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42108 memory=14156 CPUtime=0.06 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2495 0 0 0 6 0 0 0 20 0 1 0 191294450 43118592 3539 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 2 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10527 3539 1441 2 0 2939 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 14156 KiB

[startup+0.223207 s]*
/proc/loadavg: 0.01 0.00 0.00 10/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14420 CPUtime=0.16 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2564 0 0 0 16 0 0 0 20 0 1 0 191294450 43380736 3605 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3605 1441 2 0 3003 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14420 KiB

[startup+0.326208 s]*
/proc/loadavg: 0.01 0.00 0.00 12/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14420 CPUtime=0.24 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2564 0 0 0 24 0 0 0 20 0 1 0 191294450 43380736 3605 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3605 1441 2 0 3003 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14420 KiB

[startup+0.701205 s]
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14420 CPUtime=0.55 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2564 0 0 0 55 0 0 0 20 0 1 0 191294450 43380736 3605 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3605 1441 2 0 3003 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14420 KiB

[startup+1.50321 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14420 CPUtime=1.33 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2564 0 0 0 133 0 0 0 20 0 1 0 191294450 43380736 3605 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3605 1441 2 0 3003 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14420 KiB

[startup+3.11821 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14420 CPUtime=2.9 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2564 0 0 0 290 0 0 0 20 0 1 0 191294450 43380736 3605 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3605 1441 2 0 3003 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14420 KiB

[startup+6.3052 s]
/proc/loadavg: 1.21 0.25 0.08 13/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14684 CPUtime=6.01 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2597 0 0 0 601 0 0 0 20 0 1 0 191294450 43380736 3671 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3671 1441 2 0 3003 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14684 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=332089] ppid=332076 vsize=42364 memory=14684 CPUtime=12.25 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2630 0 0 0 1225 0 0 0 20 0 1 0 191294450 43380736 3671 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3671 1441 2 0 3003 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14684 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=332089] ppid=332076 vsize=42364 memory=14948 CPUtime=24.73 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2654 0 0 0 2473 0 0 0 20 0 1 0 191294450 43380736 3737 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3737 1441 2 0 3003 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14948 KiB

[startup+51.1182 s]
/proc/loadavg: 8.65 2.35 0.80 16/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14948 CPUtime=49.69 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2654 0 0 0 4969 0 0 0 20 0 1 0 191294450 43380736 3737 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3737 1441 2 0 3003 0
Current children cumulated CPU time: 49.69 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14948 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 14/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=14948 CPUtime=99.59 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2676 0 0 0 9959 0 0 0 20 0 1 0 191294450 43380736 3737 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3737 1441 2 0 3003 0
Current children cumulated CPU time: 99.59 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 14948 KiB

[startup+162.3 s]
/proc/loadavg: 10.37 5.22 2.04 15/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=15476 CPUtime=158.16 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2763 0 0 0 15816 0 0 0 20 0 1 0 191294450 43380736 3869 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3869 1441 2 0 3003 0
Current children cumulated CPU time: 158.16 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15476 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=332089] ppid=332076 vsize=42364 memory=15476 CPUtime=216.73 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2765 0 0 0 21673 0 0 0 20 0 1 0 191294450 43380736 3869 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3869 1441 2 0 3003 0
Current children cumulated CPU time: 216.73 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15476 KiB

[startup+282.3 s]
/proc/loadavg: 8.81 6.41 2.87 14/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=42364 memory=15476 CPUtime=275.29 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2772 0 0 0 27529 0 0 0 20 0 1 0 191294450 43380736 3869 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3869 1441 2 0 3003 0
Current children cumulated CPU time: 275.29 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15476 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=332089] ppid=332076 vsize=42364 memory=15476 CPUtime=333.86 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2780 0 0 0 33386 0 0 0 20 0 1 0 191294450 43380736 3869 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10591 3869 1441 2 0 3003 0
Current children cumulated CPU time: 333.86 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15476 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=332089] ppid=332076 vsize=43092 memory=16004 CPUtime=392.41 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2933 0 0 0 39240 1 0 0 20 0 1 0 191294450 44126208 4001 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4001 1441 2 0 3185 0
Current children cumulated CPU time: 392.41 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16004 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 13/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43092 memory=16004 CPUtime=450.91 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2945 0 0 0 45090 1 0 0 20 0 1 0 191294450 44126208 4001 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4001 1441 2 0 3185 0
Current children cumulated CPU time: 450.91 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16004 KiB

[startup+522.305 s]
/proc/loadavg: 8.05 7.37 4.08 15/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43092 memory=16004 CPUtime=509.44 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2946 0 0 0 50943 1 0 0 20 0 1 0 191294450 44126208 4001 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4001 1441 2 0 3185 0
Current children cumulated CPU time: 509.44 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16004 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=332089] ppid=332076 vsize=43092 memory=16004 CPUtime=567.94 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2955 0 0 0 56793 1 0 0 20 0 1 0 191294450 44126208 4001 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4001 1441 2 0 3185 0
Current children cumulated CPU time: 567.94 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16004 KiB

[startup+642.301 s]
/proc/loadavg: 8.71 7.87 4.67 16/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43092 memory=16268 CPUtime=626.45 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2967 0 0 0 62644 1 0 0 20 0 1 0 191294450 44126208 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4067 1441 2 0 3185 0
Current children cumulated CPU time: 626.45 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16268 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=332089] ppid=332076 vsize=43092 memory=16268 CPUtime=684.99 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2969 0 0 0 68498 1 0 0 20 0 1 0 191294450 44126208 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4067 1441 2 0 3185 0
Current children cumulated CPU time: 684.99 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16268 KiB

[startup+762.3 s]
/proc/loadavg: 8.27 8.00 5.11 13/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43092 memory=16268 CPUtime=743.49 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2969 0 0 0 74348 1 0 0 20 0 1 0 191294450 44126208 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10773 4067 1441 2 0 3185 0
Current children cumulated CPU time: 743.49 s
Current children cumulated vsize: 43092 KiB
Current children cumulated memory: 16268 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=332089] ppid=332076 vsize=43228 memory=16268 CPUtime=801.99 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 2981 0 0 0 80198 1 0 0 20 0 1 0 191294450 44265472 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10807 4067 1441 2 0 3219 0
Current children cumulated CPU time: 801.99 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 16268 KiB

[startup+882.301 s]
/proc/loadavg: 8.10 8.03 5.48 14/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43228 memory=16268 CPUtime=860.52 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3001 0 0 0 86051 1 0 0 20 0 1 0 191294450 44265472 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10807 4067 1441 2 0 3219 0
Current children cumulated CPU time: 860.52 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 16268 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=332089] ppid=332076 vsize=43360 memory=16268 CPUtime=919.05 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3006 0 0 0 91904 1 0 0 20 0 1 0 191294450 44400640 4067 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10840 4067 1441 2 0 3252 0
Current children cumulated CPU time: 919.05 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 16268 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=332089] ppid=332076 vsize=43360 memory=17612 CPUtime=977.53 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3025 0 0 0 97752 1 0 0 20 0 1 0 191294450 44400640 4403 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10840 4403 1441 2 0 3252 0
Current children cumulated CPU time: 977.53 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17612 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=332089] ppid=332076 vsize=43360 memory=17824 CPUtime=1036.06 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3053 0 0 0 103605 1 0 0 20 0 1 0 191294450 44400640 4456 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10840 4456 1441 2 0 3252 0
Current children cumulated CPU time: 1036.06 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17824 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=332089] ppid=332076 vsize=43360 memory=17824 CPUtime=1094.59 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3059 0 0 0 109458 1 0 0 20 0 1 0 191294450 44400640 4456 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10840 4456 1441 2 0 3252 0
Current children cumulated CPU time: 1094.59 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17824 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=332089] ppid=332076 vsize=43500 memory=17824 CPUtime=1153.12 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3087 0 0 0 115311 1 0 0 20 0 1 0 191294450 44544000 4456 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4456 1441 2 0 3287 0
Current children cumulated CPU time: 1153.12 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17824 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=332089] ppid=332076 vsize=43500 memory=17960 CPUtime=1211.65 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3093 0 0 0 121164 1 0 0 20 0 1 0 191294450 44544000 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4490 1441 2 0 3287 0
Current children cumulated CPU time: 1211.65 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43500 memory=17960 CPUtime=1270.14 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3111 0 0 0 127013 1 0 0 20 0 1 0 191294450 44544000 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4490 1441 2 0 3287 0
Current children cumulated CPU time: 1270.14 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43500 memory=17960 CPUtime=1328.68 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3119 0 0 0 132867 1 0 0 20 0 1 0 191294450 44544000 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4490 1441 2 0 3287 0
Current children cumulated CPU time: 1328.68 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43500 memory=17960 CPUtime=1387.21 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3122 0 0 0 138720 1 0 0 20 0 1 0 191294450 44544000 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4490 1441 2 0 3287 0
Current children cumulated CPU time: 1387.21 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43500 memory=17960 CPUtime=1445.75 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3125 0 0 0 144574 1 0 0 20 0 1 0 191294450 44544000 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10875 4490 1441 2 0 3287 0
Current children cumulated CPU time: 1445.75 s
Current children cumulated vsize: 43500 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43644 memory=17960 CPUtime=1504.29 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3139 0 0 0 150428 1 0 0 20 0 1 0 191294450 44691456 4490 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10911 4490 1441 2 0 3323 0
Current children cumulated CPU time: 1504.29 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 17960 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=332089] ppid=332076 vsize=43644 memory=18152 CPUtime=1562.83 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3166 0 0 0 156282 1 0 0 20 0 1 0 191294450 44691456 4538 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10911 4538 1441 2 0 3323 0
Current children cumulated CPU time: 1562.83 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 18152 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 14/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332089] ppid=332076 vsize=43644 memory=18152 CPUtime=1621.38 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3177 0 0 0 162137 1 0 0 20 0 1 0 191294450 44691456 4538 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10911 4538 1441 2 0 3323 0
Current children cumulated CPU time: 1621.38 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 18152 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=332089] ppid=332076 vsize=43780 memory=18152 CPUtime=1679.92 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3182 0 0 0 167991 1 0 0 20 0 1 0 191294450 44830720 4538 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10945 4538 1441 2 0 3357 0
Current children cumulated CPU time: 1679.92 s
Current children cumulated vsize: 43780 KiB
Current children cumulated memory: 18152 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=332089] ppid=332076 vsize=43780 memory=18152 CPUtime=1738.44 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3203 0 0 0 173843 1 0 0 20 0 1 0 191294450 44830720 4538 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10945 4538 1441 2 0 3357 0
Current children cumulated CPU time: 1738.44 s
Current children cumulated vsize: 43780 KiB
Current children cumulated memory: 18152 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=332089] ppid=332076 vsize=43780 memory=18152 CPUtime=1755.7 cores=1
/proc/332089/stat : 332089 (pigeonPurSampli) R 332076 332089 332052 0 -1 4194304 3204 0 0 0 175569 1 0 0 20 0 1 0 191294450 44830720 4538 18446744073709551615 94646059859968 94646059864080 140729751734032 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 3 0 0 94646061964544 94646061965316 94646073225216 140729751740948 140729751741058 140729751741058 140729751744481 0
/proc/332089/statm: 10945 4538 1441 2 0 3357 0
Current children cumulated CPU time: 1755.7 s
Current children cumulated vsize: 43780 KiB
Current children cumulated memory: 18152 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 332089 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.71 s, system=0.019808 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): 1755.73
CPU user time (s): 1755.71
CPU system time (s): 0.019808
CPU usage (%): 97.538
Max. virtual memory (cumulated for all children) (KiB): 43780
Max. memory (cumulated for all children) (KiB): 18152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.71
system time used= 0.019808
maximum resident set size= 18152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3207
page faults= 0
swaps= 0
block input operations= 512
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 67026


# summary of solver processes directly reported to runsolver:
#   pid: 332089
#   total CPU time (s): 1755.73
#   total CPU user time (s): 1755.71
#   total CPU system time (s): 0.019808

??? end of timestamper thread
runsolver used 15.7698 second user time and 19.8613 second system time

The end
