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: 15859 MiB (14486 MiB free)
  memory of node 1: 16087 MiB (15212 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net40-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=912371, runsolver pid=912370
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.11 0.25 0.08 9/487 912372
/proc/meminfo: memFree=30401684/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=38548 memory=11112 CPUtime=0.03 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1585 0 0 0 3 0 0 0 20 0 1 0 481984563 39473152 2778 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 2 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9637 2778 1540 2 0 2049 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 11112 KiB

[startup+0.225816 s]*
/proc/loadavg: 1.11 0.25 0.08 11/487 912372
/proc/meminfo: memFree=30394720/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=0.13 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1734 0 0 0 13 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+0.325815 s]*
/proc/loadavg: 1.11 0.25 0.08 11/487 912372
/proc/meminfo: memFree=30394164/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=0.21 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1735 0 0 0 21 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+0.700814 s]
/proc/loadavg: 1.11 0.25 0.08 11/487 912372
/proc/meminfo: memFree=30393364/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=0.53 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1735 0 0 0 53 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+1.50081 s]
/proc/loadavg: 1.11 0.25 0.08 12/487 912372
/proc/meminfo: memFree=30392840/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=1.31 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1740 0 0 0 131 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+3.12081 s]
/proc/loadavg: 1.11 0.25 0.08 12/486 912372
/proc/meminfo: memFree=30392896/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=2.89 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1756 0 0 0 289 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+6.30082 s]
/proc/loadavg: 1.74 0.39 0.13 12/486 912372
/proc/meminfo: memFree=30392212/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11640 CPUtime=6 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1760 0 0 0 600 0 0 0 20 0 1 0 481984563 39997440 2910 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2910 1540 2 0 2177 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11640 KiB

[startup+12.7008 s]
/proc/loadavg: 2.24 0.52 0.17 12/486 912372
/proc/meminfo: memFree=30391744/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11904 CPUtime=12.27 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1795 0 0 0 1227 0 0 0 20 0 1 0 481984563 39997440 2976 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2976 1540 2 0 2177 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11904 KiB

[startup+25.5008 s]
/proc/loadavg: 3.52 0.89 0.30 11/486 912372
/proc/meminfo: memFree=30390768/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11904 CPUtime=24.78 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1812 0 0 0 2478 0 0 0 20 0 1 0 481984563 39997440 2976 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2976 1540 2 0 2177 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11904 KiB

[startup+51.1268 s]
/proc/loadavg: 5.11 1.47 0.51 11/486 912380
/proc/meminfo: memFree=30383736/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=11904 CPUtime=49.82 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1823 0 0 0 4982 0 0 0 20 0 1 0 481984563 39997440 2976 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 2976 1540 2 0 2177 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11904 KiB

[startup+102.301 s]
/proc/loadavg: 6.85 2.51 0.91 11/486 912381
/proc/meminfo: memFree=30382984/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39060 memory=12432 CPUtime=99.85 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 1946 0 0 0 9985 0 0 0 20 0 1 0 481984563 39997440 3108 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9765 3108 1540 2 0 2177 0
Current children cumulated CPU time: 99.85 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 12432 KiB

[startup+162.301 s]
/proc/loadavg: 7.71 3.56 1.38 12/485 912391
/proc/meminfo: memFree=30381224/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39204 memory=12696 CPUtime=158.49 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2010 0 0 0 15849 0 0 0 20 0 1 0 481984563 40144896 3174 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9801 3174 1540 2 0 2213 0
Current children cumulated CPU time: 158.49 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 12696 KiB

[startup+222.301 s]
/proc/loadavg: 7.89 4.37 1.79 11/485 912400
/proc/meminfo: memFree=30379972/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=39884 memory=13156 CPUtime=217.12 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2192 0 0 0 21712 0 0 0 20 0 1 0 481984563 40841216 3289 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 9971 3289 1540 2 0 2383 0
Current children cumulated CPU time: 217.12 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 13156 KiB

[startup+282.301 s]
/proc/loadavg: 7.96 5.03 2.19 12/485 912409
/proc/meminfo: memFree=30379644/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40168 memory=13416 CPUtime=275.77 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2275 0 0 0 27577 0 0 0 20 0 1 0 481984563 41132032 3354 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10042 3354 1540 2 0 2454 0
Current children cumulated CPU time: 275.77 s
Current children cumulated vsize: 40168 KiB
Current children cumulated memory: 13416 KiB

[startup+342.301 s]
/proc/loadavg: 8.23 5.64 2.57 12/482 912418
/proc/meminfo: memFree=30378752/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13680 CPUtime=334.41 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2351 0 0 0 33441 0 0 0 20 0 1 0 481984563 41422848 3420 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3420 1540 2 0 2525 0
Current children cumulated CPU time: 334.41 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13680 KiB

[startup+402.301 s]
/proc/loadavg: 8.26 6.12 2.93 11/482 912428
/proc/meminfo: memFree=30377628/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=393.06 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 39305 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 393.06 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+462.301 s]
/proc/loadavg: 8.46 6.57 3.29 12/483 912438
/proc/meminfo: memFree=30377000/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=451.69 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 45168 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 451.69 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+522.304 s]
/proc/loadavg: 8.34 6.88 3.60 12/483 912448
/proc/meminfo: memFree=30376872/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=510.31 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 51030 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 510.31 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.13 3.90 11/483 912458
/proc/meminfo: memFree=30376564/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=568.93 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 56892 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 568.93 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+642.301 s]
/proc/loadavg: 8.10 7.29 4.15 11/484 912469
/proc/meminfo: memFree=30376308/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=627.54 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 62753 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 627.54 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+702.301 s]
/proc/loadavg: 8.03 7.42 4.40 12/484 912479
/proc/meminfo: memFree=30374780/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=686.14 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 68613 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 686.14 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+762.301 s]
/proc/loadavg: 8.04 7.54 4.63 12/484 912490
/proc/meminfo: memFree=30374704/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=744.75 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2404 0 0 0 74474 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 744.75 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+822.301 s]
/proc/loadavg: 8.36 7.72 4.88 12/484 912499
/proc/meminfo: memFree=30374792/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=803.35 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2410 0 0 0 80334 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 803.35 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+882.301 s]
/proc/loadavg: 8.33 7.84 5.10 12/484 912509
/proc/meminfo: memFree=30374756/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=861.96 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2415 0 0 0 86195 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 861.96 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+942.301 s]
/proc/loadavg: 8.54 7.98 5.32 11/483 912518
/proc/meminfo: memFree=30374144/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=920.57 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2417 0 0 0 92056 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 920.57 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+1002.3 s]
/proc/loadavg: 8.55 8.09 5.52 12/483 912536
/proc/meminfo: memFree=30373848/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=979.16 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2418 0 0 0 97915 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 979.16 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+1062.3 s]
/proc/loadavg: 8.45 8.15 5.71 12/483 912546
/proc/meminfo: memFree=30373612/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40452 memory=13944 CPUtime=1037.76 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2420 0 0 0 103775 1 0 0 20 0 1 0 481984563 41422848 3486 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10113 3486 1540 2 0 2525 0
Current children cumulated CPU time: 1037.76 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 13944 KiB

[startup+1122.3 s]
/proc/loadavg: 8.20 8.13 5.86 11/483 912556
/proc/meminfo: memFree=30373328/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1096.35 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2442 0 0 0 109634 1 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1096.35 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 6.00 12/483 912566
/proc/meminfo: memFree=30372736/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1154.97 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2443 0 0 0 115495 2 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1154.97 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1242.3 s]
/proc/loadavg: 8.02 8.08 6.12 11/483 912576
/proc/meminfo: memFree=30372424/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1213.51 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2444 0 0 0 121349 2 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1213.51 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1302.3 s]
/proc/loadavg: 8.30 8.14 6.27 12/483 912596
/proc/meminfo: memFree=30372160/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1272.11 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2445 0 0 0 127209 2 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1272.11 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1362.3 s]
/proc/loadavg: 8.39 8.21 6.41 12/482 912606
/proc/meminfo: memFree=30372000/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1330.75 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2446 0 0 0 133073 2 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1330.75 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1422.3 s]
/proc/loadavg: 8.43 8.26 6.55 11/482 912615
/proc/meminfo: memFree=30371900/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1389.39 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2447 0 0 0 138936 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1389.39 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.28 6.67 11/482 912624
/proc/meminfo: memFree=30371712/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1448.02 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2448 0 0 0 144799 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1448.02 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1542.3 s]
/proc/loadavg: 8.20 8.24 6.76 12/482 912633
/proc/meminfo: memFree=30371824/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1506.66 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2449 0 0 0 150663 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1506.66 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1602.3 s]
/proc/loadavg: 8.33 8.27 6.86 12/482 912643
/proc/meminfo: memFree=30371804/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1565.3 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2450 0 0 0 156527 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1565.3 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.22 6.94 12/483 912653
/proc/meminfo: memFree=30371588/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1623.94 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2451 0 0 0 162391 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1623.94 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1722.3 s]
/proc/loadavg: 8.04 8.18 7.01 12/483 912663
/proc/meminfo: memFree=30370804/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1682.58 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2452 0 0 0 168255 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1682.58 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.16 7.08 12/483 912673
/proc/meminfo: memFree=30370820/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1741.23 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2453 0 0 0 174120 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1741.23 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.95 7.90 7.02 6/444 912693
/proc/meminfo: memFree=30456636/32713960 swapFree=33554428/33554428
[pid=912371] ppid=912370 vsize=40708 memory=14144 CPUtime=1758.6 cores=3
/proc/912371/stat : 912371 (pigeonPurSampli) R 912370 912371 912351 0 -1 4194304 2453 0 0 0 175857 3 0 0 20 0 1 0 481984563 41684992 3536 18446744073709551615 93910656532480 93910656536592 140720474533392 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 7 0 0 93910658637056 93910658637828 93910680215552 140720474534420 140720474534530 140720474534530 140720474537953 0
/proc/912371/statm: 10177 3536 1540 2 0 2589 0
Current children cumulated CPU time: 1758.6 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 14144 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -3, -11, -14] -> []

[-1, 3, -11, -14, -17, -18, -19, -21, -24, 25, 39, -40, 47] -> ph3-2_1 


Detected pigeons:

 ph3-2_1 = [[-273, 80], [-1744, -740], [1942, -1681]]

[startup+1800.04 s]
# the end of solver process 912371 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.59 s, system=0.037303 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1758.63
CPU user time (s): 1758.59
CPU system time (s): 0.037303
CPU usage (%): 97.6996
Max. virtual memory (cumulated for all children) (KiB): 40708
Max. memory (cumulated for all children) (KiB): 14144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.59
system time used= 0.037303
maximum resident set size= 14184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2455
page faults= 0
swaps= 0
block input operations= 160
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 34809


# summary of solver processes directly reported to runsolver:
#   pid: 912371
#   total CPU time (s): 1758.63
#   total CPU user time (s): 1758.59
#   total CPU system time (s): 0.037303

??? end of timestamper thread
runsolver used 14.8885 second user time and 18.4874 second system time

The end
