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

running on 1 cores: 6

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


[startup+0.102094 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30593804/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40340 memory=12924 CPUtime=0.04 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2036 0 0 0 4 0 0 0 20 0 1 0 191294450 41308160 3231 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 2 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10085 3231 1528 2 0 2497 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12924 KiB

[startup+0.229092 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=0.15 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2141 0 0 0 15 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+0.328092 s]*
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30584776/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=0.22 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2141 0 0 0 22 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+0.701095 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=0.53 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2141 0 0 0 53 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+1.5011 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=1.31 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2141 0 0 0 131 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+3.12768 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=2.9 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2142 0 0 0 290 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+6.3011 s]
/proc/loadavg: 1.21 0.25 0.08 15/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13188 CPUtime=6 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2147 0 0 0 600 0 0 0 20 0 1 0 191294450 41570304 3297 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3297 1528 2 0 2561 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13188 KiB

[startup+12.7011 s]
/proc/loadavg: 2.31 0.50 0.16 15/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13452 CPUtime=12.28 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2198 0 0 0 1227 1 0 0 20 0 1 0 191294450 41570304 3363 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3363 1528 2 0 2561 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13452 KiB

[startup+25.5011 s]
/proc/loadavg: 5.12 1.21 0.40 15/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13452 CPUtime=24.79 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2198 0 0 0 2478 1 0 0 20 0 1 0 191294450 41570304 3363 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3363 1528 2 0 2561 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13452 KiB

[startup+51.1231 s]
/proc/loadavg: 8.65 2.35 0.80 15/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40596 memory=13452 CPUtime=49.83 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2221 0 0 0 4982 1 0 0 20 0 1 0 191294450 41570304 3363 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3363 1528 2 0 2561 0
Current children cumulated CPU time: 49.83 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13452 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=332093] ppid=332066 vsize=40596 memory=13980 CPUtime=99.85 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2343 0 0 0 9984 1 0 0 20 0 1 0 191294450 41570304 3495 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10149 3495 1528 2 0 2561 0
Current children cumulated CPU time: 99.85 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13980 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=332093] ppid=332066 vsize=40728 memory=14244 CPUtime=158.49 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2371 0 0 0 15848 1 0 0 20 0 1 0 191294450 41705472 3561 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10182 3561 1528 2 0 2594 0
Current children cumulated CPU time: 158.49 s
Current children cumulated vsize: 40728 KiB
Current children cumulated memory: 14244 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=332093] ppid=332066 vsize=40860 memory=14244 CPUtime=217.14 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2392 0 0 0 21713 1 0 0 20 0 1 0 191294450 41840640 3561 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10215 3561 1528 2 0 2627 0
Current children cumulated CPU time: 217.14 s
Current children cumulated vsize: 40860 KiB
Current children cumulated memory: 14244 KiB

[startup+282.301 s]
/proc/loadavg: 8.81 6.41 2.87 15/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=40860 memory=14244 CPUtime=275.79 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2407 0 0 0 27578 1 0 0 20 0 1 0 191294450 41840640 3561 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10215 3561 1528 2 0 2627 0
Current children cumulated CPU time: 275.79 s
Current children cumulated vsize: 40860 KiB
Current children cumulated memory: 14244 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 15/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=41004 memory=14244 CPUtime=334.45 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2417 0 0 0 33444 1 0 0 20 0 1 0 191294450 41988096 3561 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10251 3561 1528 2 0 2663 0
Current children cumulated CPU time: 334.45 s
Current children cumulated vsize: 41004 KiB
Current children cumulated memory: 14244 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=332093] ppid=332066 vsize=41144 memory=14508 CPUtime=393.11 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2474 0 0 0 39310 1 0 0 20 0 1 0 191294450 42131456 3627 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10286 3627 1528 2 0 2698 0
Current children cumulated CPU time: 393.11 s
Current children cumulated vsize: 41144 KiB
Current children cumulated memory: 14508 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=332093] ppid=332066 vsize=41284 memory=14772 CPUtime=451.78 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2494 0 0 0 45177 1 0 0 20 0 1 0 191294450 42274816 3693 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10321 3693 1528 2 0 2733 0
Current children cumulated CPU time: 451.78 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 14772 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=332093] ppid=332066 vsize=41284 memory=14772 CPUtime=510.44 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2521 0 0 0 51043 1 0 0 20 0 1 0 191294450 42274816 3693 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10321 3693 1528 2 0 2733 0
Current children cumulated CPU time: 510.44 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 14772 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=332093] ppid=332066 vsize=41284 memory=14772 CPUtime=569.1 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2521 0 0 0 56909 1 0 0 20 0 1 0 191294450 42274816 3693 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10321 3693 1528 2 0 2733 0
Current children cumulated CPU time: 569.1 s
Current children cumulated vsize: 41284 KiB
Current children cumulated memory: 14772 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=332093] ppid=332066 vsize=41428 memory=14772 CPUtime=627.76 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2532 0 0 0 62775 1 0 0 20 0 1 0 191294450 42422272 3693 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10357 3693 1528 2 0 2769 0
Current children cumulated CPU time: 627.76 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 14772 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=332093] ppid=332066 vsize=41428 memory=14772 CPUtime=686.44 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2552 0 0 0 68643 1 0 0 20 0 1 0 191294450 42422272 3693 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10357 3693 1528 2 0 2769 0
Current children cumulated CPU time: 686.44 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 14772 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=332093] ppid=332066 vsize=41572 memory=15036 CPUtime=745.12 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2572 0 0 0 74511 1 0 0 20 0 1 0 191294450 42569728 3759 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10393 3759 1528 2 0 2805 0
Current children cumulated CPU time: 745.12 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 15036 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=332093] ppid=332066 vsize=41572 memory=15036 CPUtime=803.8 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2577 0 0 0 80378 2 0 0 20 0 1 0 191294450 42569728 3759 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10393 3759 1528 2 0 2805 0
Current children cumulated CPU time: 803.8 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 15036 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=332093] ppid=332066 vsize=41572 memory=15036 CPUtime=862.49 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2583 0 0 0 86247 2 0 0 20 0 1 0 191294450 42569728 3759 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10393 3759 1528 2 0 2805 0
Current children cumulated CPU time: 862.49 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 15036 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=332093] ppid=332066 vsize=41572 memory=15036 CPUtime=921.13 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2594 0 0 0 92111 2 0 0 20 0 1 0 191294450 42569728 3759 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10393 3759 1528 2 0 2805 0
Current children cumulated CPU time: 921.13 s
Current children cumulated vsize: 41572 KiB
Current children cumulated memory: 15036 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=332093] ppid=332066 vsize=41708 memory=16904 CPUtime=979.77 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2609 0 0 0 97975 2 0 0 20 0 1 0 191294450 42708992 4226 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10427 4226 1528 2 0 2839 0
Current children cumulated CPU time: 979.77 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 16904 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 14/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=41708 memory=17132 CPUtime=1038.43 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2630 0 0 0 103841 2 0 0 20 0 1 0 191294450 42708992 4283 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10427 4283 1528 2 0 2839 0
Current children cumulated CPU time: 1038.43 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 17132 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=332093] ppid=332066 vsize=41708 memory=17132 CPUtime=1097.06 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2638 0 0 0 109704 2 0 0 20 0 1 0 191294450 42708992 4283 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10427 4283 1528 2 0 2839 0
Current children cumulated CPU time: 1097.06 s
Current children cumulated vsize: 41708 KiB
Current children cumulated memory: 17132 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=332093] ppid=332066 vsize=41852 memory=17132 CPUtime=1155.68 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2660 0 0 0 115566 2 0 0 20 0 1 0 191294450 42856448 4283 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10463 4283 1528 2 0 2875 0
Current children cumulated CPU time: 1155.68 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 17132 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=332093] ppid=332066 vsize=41852 memory=17132 CPUtime=1214.34 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2671 0 0 0 121432 2 0 0 20 0 1 0 191294450 42856448 4283 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10463 4283 1528 2 0 2875 0
Current children cumulated CPU time: 1214.34 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 17132 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=332093] ppid=332066 vsize=41852 memory=17132 CPUtime=1272.98 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2684 0 0 0 127296 2 0 0 20 0 1 0 191294450 42856448 4283 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10463 4283 1528 2 0 2875 0
Current children cumulated CPU time: 1272.98 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 17132 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=332093] ppid=332066 vsize=41992 memory=17372 CPUtime=1331.63 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2691 0 0 0 133161 2 0 0 20 0 1 0 191294450 42999808 4343 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10498 4343 1528 2 0 2910 0
Current children cumulated CPU time: 1331.63 s
Current children cumulated vsize: 41992 KiB
Current children cumulated memory: 17372 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 15/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332093] ppid=332066 vsize=41992 memory=17372 CPUtime=1390.3 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2714 0 0 0 139028 2 0 0 20 0 1 0 191294450 42999808 4343 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10498 4343 1528 2 0 2910 0
Current children cumulated CPU time: 1390.3 s
Current children cumulated vsize: 41992 KiB
Current children cumulated memory: 17372 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=332093] ppid=332066 vsize=41992 memory=17372 CPUtime=1448.95 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2720 0 0 0 144893 2 0 0 20 0 1 0 191294450 42999808 4343 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10498 4343 1528 2 0 2910 0
Current children cumulated CPU time: 1448.95 s
Current children cumulated vsize: 41992 KiB
Current children cumulated memory: 17372 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=332093] ppid=332066 vsize=42132 memory=17372 CPUtime=1507.58 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2737 0 0 0 150756 2 0 0 20 0 1 0 191294450 43143168 4343 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10533 4343 1528 2 0 2945 0
Current children cumulated CPU time: 1507.58 s
Current children cumulated vsize: 42132 KiB
Current children cumulated memory: 17372 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=332093] ppid=332066 vsize=42132 memory=17616 CPUtime=1566.25 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2753 0 0 0 156623 2 0 0 20 0 1 0 191294450 43143168 4404 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10533 4404 1528 2 0 2945 0
Current children cumulated CPU time: 1566.25 s
Current children cumulated vsize: 42132 KiB
Current children cumulated memory: 17616 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=332093] ppid=332066 vsize=42264 memory=17616 CPUtime=1624.91 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2771 0 0 0 162489 2 0 0 20 0 1 0 191294450 43278336 4404 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10566 4404 1528 2 0 2978 0
Current children cumulated CPU time: 1624.91 s
Current children cumulated vsize: 42264 KiB
Current children cumulated memory: 17616 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=332093] ppid=332066 vsize=42264 memory=17616 CPUtime=1683.53 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2788 0 0 0 168351 2 0 0 20 0 1 0 191294450 43278336 4404 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10566 4404 1528 2 0 2978 0
Current children cumulated CPU time: 1683.53 s
Current children cumulated vsize: 42264 KiB
Current children cumulated memory: 17616 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=332093] ppid=332066 vsize=42264 memory=17616 CPUtime=1742.16 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2798 0 0 0 174214 2 0 0 20 0 1 0 191294450 43278336 4404 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10566 4404 1528 2 0 2978 0
Current children cumulated CPU time: 1742.16 s
Current children cumulated vsize: 42264 KiB
Current children cumulated memory: 17616 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=332093] ppid=332066 vsize=42404 memory=17616 CPUtime=1759.46 cores=6
/proc/332093/stat : 332093 (pigeonPurSampli) R 332066 332093 332043 0 -1 4194304 2804 0 0 0 175944 2 0 0 20 0 1 0 191294450 43421696 4404 18446744073709551615 93827759714304 93827759718416 140735732690912 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 93827761818880 93827761819652 93827768360960 140735732699668 140735732699778 140735732699778 140735732703201 0
/proc/332093/statm: 10601 4404 1528 2 0 3013 0
Current children cumulated CPU time: 1759.46 s
Current children cumulated vsize: 42404 KiB
Current children cumulated memory: 17616 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 332093 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.46 s, system=0.030283 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): 1759.49
CPU user time (s): 1759.46
CPU system time (s): 0.030283
CPU usage (%): 97.7474
Max. virtual memory (cumulated for all children) (KiB): 42404
Max. memory (cumulated for all children) (KiB): 17616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.46
system time used= 0.030283
maximum resident set size= 17616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2806
page faults= 0
swaps= 0
block input operations= 336
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 48044


# summary of solver processes directly reported to runsolver:
#   pid: 332093
#   total CPU time (s): 1759.49
#   total CPU user time (s): 1759.46
#   total CPU system time (s): 0.030283

??? end of timestamper thread
runsolver used 15.0948 second user time and 18.0349 second system time

The end
