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: 1
  memory of node 0: 3630 MiB (1723 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net50-40-1.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100463 s]*
/proc/loadavg: 0.06 0.84 1.86 7/472 340286
/proc/meminfo: memFree=1741764/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=40580 memory=12680 CPUtime=0.07 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 2044 0 0 0 6 1 0 0 20 0 1 0 182536207 41553920 3170 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 2 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10145 3170 1463 2 0 2554 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40580 KiB
Current children cumulated memory: 12680 KiB

[startup+0.235445 s]*
/proc/loadavg: 0.06 0.84 1.86 9/472 340286
/proc/meminfo: memFree=1722360/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=0.18 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3112 0 0 0 17 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+0.333455 s]*
/proc/loadavg: 0.06 0.84 1.86 7/472 340286
/proc/meminfo: memFree=1718832/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=0.26 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3112 0 0 0 25 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+0.700449 s]
/proc/loadavg: 0.06 0.84 1.86 8/472 340286
/proc/meminfo: memFree=1717572/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=0.54 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3112 0 0 0 53 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+1.50145 s]
/proc/loadavg: 0.06 0.84 1.86 8/474 340291
/proc/meminfo: memFree=1716540/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=1.31 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3113 0 0 0 130 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+3.13457 s]
/proc/loadavg: 0.38 0.90 1.87 7/472 340294
/proc/meminfo: memFree=1716572/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=2.89 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3113 0 0 0 288 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+6.30046 s]
/proc/loadavg: 0.38 0.90 1.87 7/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=5.96 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3114 0 0 0 595 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+12.7005 s]
/proc/loadavg: 0.67 0.95 1.88 8/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=12.17 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 1216 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+25.5015 s]
/proc/loadavg: 1.41 1.10 1.92 7/470 340296
/proc/meminfo: memFree=1716412/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=24.57 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 2456 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 24.57 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+51.1345 s]
/proc/loadavg: 2.29 1.33 1.97 7/470 340296
/proc/meminfo: memFree=1716160/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=49.35 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 4934 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 49.35 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+102.301 s]
/proc/loadavg: 3.39 1.78 2.09 8/471 340306
/proc/meminfo: memFree=1715104/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=98.77 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 9876 1 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 98.77 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+162.304 s]
/proc/loadavg: 3.89 2.22 2.22 7/471 340315
/proc/meminfo: memFree=1714568/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=156.84 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 15682 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 156.84 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.60 2.36 8/471 340325
/proc/meminfo: memFree=1713812/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=214.93 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3115 0 0 0 21491 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 214.93 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 2.91 2.48 7/472 340335
/proc/meminfo: memFree=1714032/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=273.01 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3116 0 0 0 27299 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 273.01 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 3.14 2.59 8/471 340344
/proc/meminfo: memFree=1714064/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=331.13 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3116 0 0 0 33111 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 331.13 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+402.3 s]
/proc/loadavg: 5.26 3.61 2.79 7/470 340355
/proc/meminfo: memFree=1713276/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=389.2 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3116 0 0 0 38918 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 389.2 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+462.302 s]
/proc/loadavg: 7.18 4.45 3.12 8/470 340364
/proc/meminfo: memFree=1713496/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=16952 CPUtime=447.32 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3116 0 0 0 44730 2 0 0 20 0 1 0 182536207 44933120 4238 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4238 1479 2 0 3379 0
Current children cumulated CPU time: 447.32 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 16952 KiB

[startup+522.3 s]
/proc/loadavg: 7.97 5.18 3.46 7/470 340374
/proc/meminfo: memFree=1707128/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=505.3 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 50528 2 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 505.3 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+582.3 s]
/proc/loadavg: 6.98 5.46 3.67 7/469 340384
/proc/meminfo: memFree=1707348/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=563.37 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 56335 2 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 563.37 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+642.3 s]
/proc/loadavg: 5.20 5.23 3.71 7/469 340393
/proc/meminfo: memFree=1707600/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=621.49 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 62147 2 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 621.49 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+702.3 s]
/proc/loadavg: 4.62 5.05 3.75 8/469 340413
/proc/meminfo: memFree=1707316/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=679.58 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 67956 2 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 679.58 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+762.3 s]
/proc/loadavg: 4.23 4.86 3.77 7/469 340423
/proc/meminfo: memFree=1707284/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=737.72 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 73770 2 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 737.72 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+822.307 s]
/proc/loadavg: 4.19 4.73 3.79 9/470 340434
/proc/meminfo: memFree=1707032/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=795.77 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 79574 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 795.77 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+882.3 s]
/proc/loadavg: 4.19 4.63 3.82 7/470 340443
/proc/meminfo: memFree=1706748/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=853.73 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 85370 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 853.73 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.51 3.83 7/470 340452
/proc/meminfo: memFree=1707252/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=911.82 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 91179 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 911.82 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.45 3.85 8/470 340462
/proc/meminfo: memFree=1707220/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=969.9 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 96987 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 969.9 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1062.3 s]
/proc/loadavg: 4.67 4.55 3.93 7/470 340472
/proc/meminfo: memFree=1706920/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1027.99 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 102796 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1027.99 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1122.3 s]
/proc/loadavg: 4.42 4.50 3.96 7/469 340482
/proc/meminfo: memFree=1706636/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1086.09 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 108606 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1086.09 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.42 3.97 8/469 340492
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1144.18 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 114415 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1144.18 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1242.31 s]
/proc/loadavg: 4.23 4.39 3.99 7/469 340501
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1202.29 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 120226 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1202.29 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.32 4.00 7/469 340510
/proc/meminfo: memFree=1707140/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1260.29 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 126026 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1260.29 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1362.3 s]
/proc/loadavg: 4.19 4.29 4.01 8/468 340519
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1318.22 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 131819 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1318.22 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1422.3 s]
/proc/loadavg: 4.71 4.41 4.07 7/469 340530
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1376.29 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 137626 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1376.29 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1482.3 s]
/proc/loadavg: 4.74 4.47 4.11 7/469 340539
/proc/meminfo: memFree=1706856/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1434.23 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 143420 3 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1434.23 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1542.3 s]
/proc/loadavg: 4.35 4.41 4.11 7/469 340548
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1492.17 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 149213 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1492.17 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1602.3 s]
/proc/loadavg: 4.18 4.35 4.11 8/469 340562
/proc/meminfo: memFree=1707076/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1550.1 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 155006 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1550.1 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.30 4.10 7/469 340571
/proc/meminfo: memFree=1706540/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1608.1 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 160806 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1608.1 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.26 4.09 7/469 340583
/proc/meminfo: memFree=1706508/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1666.12 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 166608 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1666.12 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.25 4.10 7/470 340594
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1724.1 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 172406 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1724.1 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.12 4.24 4.10 8/470 340595
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340283] ppid=340281 vsize=43880 memory=18880 CPUtime=1741.21 cores=2
/proc/340283/stat : 340283 (pigeonPur.py) R 340281 340283 340260 0 -1 4194304 3119 0 0 0 174117 4 0 0 20 0 1 0 182536207 44933120 4720 18446744073709551615 94121330868224 94121330872336 140728931883904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94121332972800 94121332973572 94121335558144 140728931889647 140728931889748 140728931889748 140728931893225 0
/proc/340283/statm: 10970 4720 1479 2 0 3379 0
Current children cumulated CPU time: 1741.21 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 18880 KiB

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

Detected pigeons:

[startup+1800.09 s]
# the end of solver process 340283 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1741.22 s, system=0.044303 s

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

Child status: 1
Real time (s): 1800.09
CPU time (s): 1741.26
CPU user time (s): 1741.22
CPU system time (s): 0.044303
CPU usage (%): 96.7318
Max. virtual memory (cumulated for all children) (KiB): 43880
Max. memory (cumulated for all children) (KiB): 18880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.22
system time used= 0.044303
maximum resident set size= 18880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3121
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= 22
involuntary context switches= 63983


# summary of solver processes directly reported to runsolver:
#   pid: 340283
#   total CPU time (s): 1741.26
#   total CPU user time (s): 1741.22
#   total CPU system time (s): 0.044303

??? end of timestamper thread
runsolver used 17.0271 second user time and 23.9858 second system time

The end
