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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/fgpa_routing/too_large_gr_rcs_w6.shuffled.cnf 

running on 1 cores: 1

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


[startup+0.100469 s]*
/proc/loadavg: 0.00 0.00 0.00 10/460 912335
/proc/meminfo: memFree=30434836/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=45672 memory=17716 CPUtime=0.07 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 3311 0 0 0 7 0 0 0 20 0 1 0 481983026 46768128 4429 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 2 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 11418 4429 1493 2 0 3830 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45672 KiB
Current children cumulated memory: 17716 KiB

[startup+0.21647 s]*
/proc/loadavg: 0.00 0.00 0.00 10/460 912335
/proc/meminfo: memFree=30425168/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=0.18 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4129 0 0 0 18 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+0.32047 s]*
/proc/loadavg: 0.00 0.00 0.00 11/460 912335
/proc/meminfo: memFree=30423820/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=0.26 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4129 0 0 0 26 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+0.700469 s]
/proc/loadavg: 0.00 0.00 0.00 10/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=0.59 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4129 0 0 0 59 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+1.50047 s]
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=1.37 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4130 0 0 0 137 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+3.12047 s]
/proc/loadavg: 0.00 0.00 0.00 9/461 912336
/proc/meminfo: memFree=30422248/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=2.95 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4139 0 0 0 295 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+6.30447 s]
/proc/loadavg: 0.40 0.08 0.03 10/461 912336
/proc/meminfo: memFree=30422236/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=6.08 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4162 0 0 0 608 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+12.7045 s]
/proc/loadavg: 0.77 0.16 0.05 11/463 912339
/proc/meminfo: memFree=30421132/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20704 CPUtime=12.36 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4172 0 0 0 1236 0 0 0 20 0 1 0 481983026 49651712 5176 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5176 1493 2 0 4534 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20704 KiB

[startup+25.5015 s]
/proc/loadavg: 2.24 0.52 0.17 13/486 912372
/proc/meminfo: memFree=30392344/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=20968 CPUtime=24.87 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4237 0 0 0 2487 0 0 0 20 0 1 0 481983026 49651712 5242 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5242 1493 2 0 4534 0
Current children cumulated CPU time: 24.87 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 20968 KiB

[startup+51.1235 s]
/proc/loadavg: 4.28 1.14 0.39 14/486 912372
/proc/meminfo: memFree=30389132/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=21496 CPUtime=49.88 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4348 0 0 0 4988 0 0 0 20 0 1 0 481983026 49651712 5374 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5374 1493 2 0 4534 0
Current children cumulated CPU time: 49.88 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 21496 KiB

[startup+102.301 s]
/proc/loadavg: 6.52 2.23 0.80 13/486 912381
/proc/meminfo: memFree=30383092/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=23108 CPUtime=99.85 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4393 0 0 0 9985 0 0 0 20 0 1 0 481983026 49651712 5777 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5777 1493 2 0 4534 0
Current children cumulated CPU time: 99.85 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 23108 KiB

[startup+162.3 s]
/proc/loadavg: 7.62 3.33 1.27 14/485 912390
/proc/meminfo: memFree=30382432/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=23108 CPUtime=158.46 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4405 0 0 0 15846 0 0 0 20 0 1 0 481983026 49651712 5777 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5777 1493 2 0 4534 0
Current children cumulated CPU time: 158.46 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 23108 KiB

[startup+222.303 s]
/proc/loadavg: 7.86 4.18 1.69 14/485 912400
/proc/meminfo: memFree=30379904/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=23108 CPUtime=217.05 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4418 0 0 0 21705 0 0 0 20 0 1 0 481983026 49651712 5777 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5777 1493 2 0 4534 0
Current children cumulated CPU time: 217.05 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 23108 KiB

[startup+282.3 s]
/proc/loadavg: 7.95 4.88 2.09 13/485 912409
/proc/meminfo: memFree=30379864/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=23108 CPUtime=275.65 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4423 0 0 0 27565 0 0 0 20 0 1 0 481983026 49651712 5777 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5777 1493 2 0 4534 0
Current children cumulated CPU time: 275.65 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 23108 KiB

[startup+342.3 s]
/proc/loadavg: 8.10 5.48 2.47 13/483 912418
/proc/meminfo: memFree=30379032/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48488 memory=23108 CPUtime=334.24 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4431 0 0 0 33424 0 0 0 20 0 1 0 481983026 49651712 5777 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12122 5777 1493 2 0 4534 0
Current children cumulated CPU time: 334.24 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 23108 KiB

[startup+402.302 s]
/proc/loadavg: 8.23 6.00 2.84 13/482 912428
/proc/meminfo: memFree=30377804/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48756 memory=23452 CPUtime=392.83 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4512 0 0 0 39283 0 0 0 20 0 1 0 481983026 49926144 5863 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12189 5863 1493 2 0 4601 0
Current children cumulated CPU time: 392.83 s
Current children cumulated vsize: 48756 KiB
Current children cumulated memory: 23452 KiB

[startup+462.3 s]
/proc/loadavg: 8.50 6.48 3.21 15/483 912438
/proc/meminfo: memFree=30377008/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23452 CPUtime=451.44 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4540 0 0 0 45144 0 0 0 20 0 1 0 481983026 50065408 5863 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5863 1493 2 0 4635 0
Current children cumulated CPU time: 451.44 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23452 KiB

[startup+522.3 s]
/proc/loadavg: 8.34 6.80 3.52 12/483 912447
/proc/meminfo: memFree=30376768/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23452 CPUtime=510.05 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4549 0 0 0 51005 0 0 0 20 0 1 0 481983026 50065408 5863 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5863 1493 2 0 4635 0
Current children cumulated CPU time: 510.05 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23452 KiB

[startup+582.3 s]
/proc/loadavg: 8.26 7.07 3.82 14/483 912458
/proc/meminfo: memFree=30376416/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23452 CPUtime=568.67 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4565 0 0 0 56867 0 0 0 20 0 1 0 481983026 50065408 5863 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5863 1493 2 0 4635 0
Current children cumulated CPU time: 568.67 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23452 KiB

[startup+642.3 s]
/proc/loadavg: 8.13 7.25 4.09 14/484 912469
/proc/meminfo: memFree=30376316/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23452 CPUtime=627.27 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4576 0 0 0 62727 0 0 0 20 0 1 0 481983026 50065408 5863 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5863 1493 2 0 4635 0
Current children cumulated CPU time: 627.27 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23452 KiB

[startup+702.3 s]
/proc/loadavg: 8.04 7.39 4.34 15/484 912479
/proc/meminfo: memFree=30374828/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23636 CPUtime=685.87 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4587 0 0 0 68587 0 0 0 20 0 1 0 481983026 50065408 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5909 1493 2 0 4635 0
Current children cumulated CPU time: 685.87 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23636 KiB

[startup+762.3 s]
/proc/loadavg: 8.06 7.52 4.58 14/484 912489
/proc/meminfo: memFree=30374700/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23636 CPUtime=744.47 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4595 0 0 0 74446 1 0 0 20 0 1 0 481983026 50065408 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5909 1493 2 0 4635 0
Current children cumulated CPU time: 744.47 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23636 KiB

[startup+822.3 s]
/proc/loadavg: 8.18 7.66 4.81 13/484 912499
/proc/meminfo: memFree=30374804/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23636 CPUtime=803.08 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4600 0 0 0 80307 1 0 0 20 0 1 0 481983026 50065408 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5909 1493 2 0 4635 0
Current children cumulated CPU time: 803.08 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23636 KiB

[startup+882.302 s]
/proc/loadavg: 8.34 7.81 5.04 13/484 912508
/proc/meminfo: memFree=30374676/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23636 CPUtime=861.67 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4605 0 0 0 86166 1 0 0 20 0 1 0 481983026 50065408 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5909 1493 2 0 4635 0
Current children cumulated CPU time: 861.67 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23636 KiB

[startup+942.3 s]
/proc/loadavg: 8.49 7.94 5.26 13/483 912518
/proc/meminfo: memFree=30374436/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=48892 memory=23636 CPUtime=920.26 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4610 0 0 0 92025 1 0 0 20 0 1 0 481983026 50065408 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12223 5909 1493 2 0 4635 0
Current children cumulated CPU time: 920.26 s
Current children cumulated vsize: 48892 KiB
Current children cumulated memory: 23636 KiB

[startup+1002.3 s]
/proc/loadavg: 8.71 8.09 5.48 14/483 912536
/proc/meminfo: memFree=30373860/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23636 CPUtime=978.86 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4618 0 0 0 97885 1 0 0 20 0 1 0 481983026 50208768 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5909 1493 2 0 4670 0
Current children cumulated CPU time: 978.86 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23636 KiB

[startup+1062.3 s]
/proc/loadavg: 8.47 8.14 5.66 13/484 912546
/proc/meminfo: memFree=30373640/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23636 CPUtime=1037.47 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4630 0 0 0 103746 1 0 0 20 0 1 0 481983026 50208768 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5909 1493 2 0 4670 0
Current children cumulated CPU time: 1037.47 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23636 KiB

[startup+1122.3 s]
/proc/loadavg: 8.26 8.14 5.82 12/483 912555
/proc/meminfo: memFree=30373360/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23636 CPUtime=1096.09 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4638 0 0 0 109608 1 0 0 20 0 1 0 481983026 50208768 5909 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5909 1493 2 0 4670 0
Current children cumulated CPU time: 1096.09 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23636 KiB

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 5.96 14/483 912566
/proc/meminfo: memFree=30373072/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1154.69 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4649 0 0 0 115468 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1154.69 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1242.3 s]
/proc/loadavg: 8.03 8.09 6.09 13/483 912576
/proc/meminfo: memFree=30372548/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1213.3 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4654 0 0 0 121329 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1213.3 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1302.3 s]
/proc/loadavg: 8.29 8.14 6.24 12/483 912596
/proc/meminfo: memFree=30371856/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1271.9 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4662 0 0 0 127189 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1271.9 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1362.3 s]
/proc/loadavg: 8.41 8.20 6.38 13/483 912605
/proc/meminfo: memFree=30372348/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1330.5 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4670 0 0 0 133049 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1330.5 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1422.3 s]
/proc/loadavg: 8.46 8.26 6.52 13/482 912615
/proc/meminfo: memFree=30371896/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1389.12 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4675 0 0 0 138911 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1389.12 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1482.3 s]
/proc/loadavg: 8.45 8.30 6.64 14/482 912624
/proc/meminfo: memFree=30371672/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1447.72 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4689 0 0 0 144771 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1447.72 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1542.3 s]
/proc/loadavg: 8.16 8.24 6.73 13/482 912633
/proc/meminfo: memFree=30371864/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49032 memory=23740 CPUtime=1506.34 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4689 0 0 0 150633 1 0 0 20 0 1 0 481983026 50208768 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12258 5935 1493 2 0 4670 0
Current children cumulated CPU time: 1506.34 s
Current children cumulated vsize: 49032 KiB
Current children cumulated memory: 23740 KiB

[startup+1602.3 s]
/proc/loadavg: 8.32 8.27 6.84 13/482 912643
/proc/meminfo: memFree=30371628/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49164 memory=23740 CPUtime=1564.97 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4697 0 0 0 156496 1 0 0 20 0 1 0 481983026 50343936 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12291 5935 1493 2 0 4703 0
Current children cumulated CPU time: 1564.97 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 23740 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.23 6.92 15/483 912653
/proc/meminfo: memFree=30371540/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49164 memory=23740 CPUtime=1623.58 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4709 0 0 0 162357 1 0 0 20 0 1 0 481983026 50343936 5935 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12291 5935 1493 2 0 4703 0
Current children cumulated CPU time: 1623.58 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 23740 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.19 6.99 13/483 912662
/proc/meminfo: memFree=30371168/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49164 memory=23844 CPUtime=1682.19 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4716 0 0 0 168218 1 0 0 20 0 1 0 481983026 50343936 5961 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12291 5961 1493 2 0 4703 0
Current children cumulated CPU time: 1682.19 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 23844 KiB

[startup+1782.3 s]
/proc/loadavg: 8.02 8.15 7.06 13/483 912673
/proc/meminfo: memFree=30370780/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49164 memory=23844 CPUtime=1740.79 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4727 0 0 0 174078 1 0 0 20 0 1 0 481983026 50343936 5961 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12291 5961 1493 2 0 4703 0
Current children cumulated CPU time: 1740.79 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 23844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.16 7.08 13/483 912681
/proc/meminfo: memFree=30370456/32713960 swapFree=33554428/33554428
[pid=912333] ppid=912332 vsize=49164 memory=23844 CPUtime=1758.1 cores=1
/proc/912333/stat : 912333 (pigeonPurSampli) R 912332 912333 912316 0 -1 4194304 4732 0 0 0 175809 1 0 0 20 0 1 0 481983026 50343936 5961 18446744073709551615 94521798172672 94521798176784 140731714960528 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94521800277248 94521800278020 94521830793216 140731714961932 140731714962050 140731714962050 140731714965473 0
/proc/912333/statm: 12291 5961 1493 2 0 4703 0
Current children cumulated CPU time: 1758.1 s
Current children cumulated vsize: 49164 KiB
Current children cumulated memory: 23844 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 912333 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.11 s, system=0.013838 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.12
CPU user time (s): 1758.11
CPU system time (s): 0.013838
CPU usage (%): 97.6712
Max. virtual memory (cumulated for all children) (KiB): 49164
Max. memory (cumulated for all children) (KiB): 23844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.11
system time used= 0.013838
maximum resident set size= 23844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4736
page faults= 0
swaps= 0
block input operations= 1064
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 98460


# summary of solver processes directly reported to runsolver:
#   pid: 912333
#   total CPU time (s): 1758.12
#   total CPU user time (s): 1758.11
#   total CPU system time (s): 0.013838

??? end of timestamper thread
runsolver used 14.97 second user time and 19.7654 second system time

The end
