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 (14533 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/example2_gr_rcs_w5.shuffled.cnf 

running on 1 cores: 0

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


[startup+0.100966 s]*
/proc/loadavg: 0.00 0.00 0.00 7/460 912335
/proc/meminfo: memFree=30437072/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=42876 memory=15216 CPUtime=0.06 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2683 0 0 0 6 0 0 0 20 0 1 0 481983025 43905024 3804 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 2 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10719 3804 1497 2 0 3131 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 15216 KiB

[startup+0.217837 s]*
/proc/loadavg: 0.00 0.00 0.00 6/460 912335
/proc/meminfo: memFree=30425428/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=15744 CPUtime=0.17 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2766 0 0 0 17 0 0 0 20 0 1 0 481983025 44167168 3936 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 3936 1497 2 0 3195 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15744 KiB

[startup+0.319882 s]*
/proc/loadavg: 0.00 0.00 0.00 7/460 912335
/proc/meminfo: memFree=30423820/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=15744 CPUtime=0.25 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2767 0 0 0 25 0 0 0 20 0 1 0 481983025 44167168 3936 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 3936 1497 2 0 3195 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15744 KiB

[startup+0.700837 s]
/proc/loadavg: 0.00 0.00 0.00 7/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=15744 CPUtime=0.58 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2767 0 0 0 58 0 0 0 20 0 1 0 481983025 44167168 3936 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 3936 1497 2 0 3195 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15744 KiB

[startup+1.50084 s]
/proc/loadavg: 0.00 0.00 0.00 7/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=15744 CPUtime=1.36 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2778 0 0 0 136 0 0 0 20 0 1 0 481983025 44167168 3936 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 3936 1497 2 0 3195 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15744 KiB

[startup+3.12483 s]
/proc/loadavg: 0.00 0.00 0.00 7/461 912336
/proc/meminfo: memFree=30422248/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=15744 CPUtime=2.94 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2783 0 0 0 294 0 0 0 20 0 1 0 481983025 44167168 3936 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 3936 1497 2 0 3195 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15744 KiB

[startup+6.30084 s]
/proc/loadavg: 0.40 0.08 0.03 7/461 912336
/proc/meminfo: memFree=30422236/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=16000 CPUtime=6.04 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2825 0 0 0 604 0 0 0 20 0 1 0 481983025 44167168 4000 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 4000 1497 2 0 3195 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16000 KiB

[startup+12.7008 s]
/proc/loadavg: 0.77 0.16 0.05 7/463 912339
/proc/meminfo: memFree=30421132/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=16184 CPUtime=12.3 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 2926 0 0 0 1230 0 0 0 20 0 1 0 481983025 44167168 4046 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 4046 1497 2 0 3195 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16184 KiB

[startup+25.5008 s]
/proc/loadavg: 2.24 0.52 0.17 10/486 912372
/proc/meminfo: memFree=30392344/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43132 memory=16192 CPUtime=24.81 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3127 0 0 0 2479 2 0 0 20 0 1 0 481983025 44167168 4048 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10783 4048 1497 2 0 3195 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16192 KiB

[startup+51.1238 s]
/proc/loadavg: 4.28 1.14 0.39 11/486 912372
/proc/meminfo: memFree=30389132/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=16192 CPUtime=49.85 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3193 0 0 0 4983 2 0 0 20 0 1 0 481983025 44429312 4048 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4048 1497 2 0 3259 0
Current children cumulated CPU time: 49.85 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16192 KiB

[startup+102.301 s]
/proc/loadavg: 6.52 2.23 0.80 10/486 912381
/proc/meminfo: memFree=30383092/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17464 CPUtime=99.86 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3221 0 0 0 9984 2 0 0 20 0 1 0 481983025 44429312 4366 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4366 1497 2 0 3259 0
Current children cumulated CPU time: 99.86 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17464 KiB

[startup+162.301 s]
/proc/loadavg: 7.62 3.33 1.27 10/485 912390
/proc/meminfo: memFree=30382432/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17464 CPUtime=158.49 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3227 0 0 0 15847 2 0 0 20 0 1 0 481983025 44429312 4366 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4366 1497 2 0 3259 0
Current children cumulated CPU time: 158.49 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17464 KiB

[startup+222.302 s]
/proc/loadavg: 7.86 4.18 1.69 10/485 912400
/proc/meminfo: memFree=30379904/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17464 CPUtime=217.1 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3240 0 0 0 21708 2 0 0 20 0 1 0 481983025 44429312 4366 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4366 1497 2 0 3259 0
Current children cumulated CPU time: 217.1 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17464 KiB

[startup+282.301 s]
/proc/loadavg: 7.95 4.88 2.09 11/485 912409
/proc/meminfo: memFree=30379864/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17464 CPUtime=275.72 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3246 0 0 0 27570 2 0 0 20 0 1 0 481983025 44429312 4366 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4366 1497 2 0 3259 0
Current children cumulated CPU time: 275.72 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17464 KiB

[startup+342.301 s]
/proc/loadavg: 8.10 5.48 2.47 10/483 912418
/proc/meminfo: memFree=30379032/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=334.36 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3253 0 0 0 33434 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 334.36 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.00 2.84 11/482 912428
/proc/meminfo: memFree=30377804/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=393 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3261 0 0 0 39298 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 393 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+462.303 s]
/proc/loadavg: 8.50 6.48 3.21 10/483 912438
/proc/meminfo: memFree=30377008/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=451.62 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3268 0 0 0 45160 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 451.62 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+522.301 s]
/proc/loadavg: 8.34 6.80 3.52 10/483 912447
/proc/meminfo: memFree=30376768/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=510.27 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3273 0 0 0 51025 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 510.27 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+582.301 s]
/proc/loadavg: 8.26 7.07 3.82 12/483 912458
/proc/meminfo: memFree=30376416/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=568.9 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3279 0 0 0 56888 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 568.9 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+642.301 s]
/proc/loadavg: 8.13 7.25 4.09 10/484 912469
/proc/meminfo: memFree=30376316/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=627.52 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3285 0 0 0 62750 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 627.52 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+702.301 s]
/proc/loadavg: 8.04 7.39 4.34 10/484 912479
/proc/meminfo: memFree=30374828/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=686.14 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3294 0 0 0 68612 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 686.14 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+762.301 s]
/proc/loadavg: 8.06 7.52 4.58 13/484 912489
/proc/meminfo: memFree=30374700/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=744.76 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3301 0 0 0 74474 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 744.76 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 7.66 4.81 10/484 912499
/proc/meminfo: memFree=30374804/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=803.39 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3307 0 0 0 80337 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 803.39 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+882.301 s]
/proc/loadavg: 8.34 7.81 5.04 12/484 912508
/proc/meminfo: memFree=30374676/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17608 CPUtime=862.02 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3314 0 0 0 86200 2 0 0 20 0 1 0 481983025 44429312 4402 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4402 1497 2 0 3259 0
Current children cumulated CPU time: 862.02 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17608 KiB

[startup+942.302 s]
/proc/loadavg: 8.49 7.94 5.26 10/483 912518
/proc/meminfo: memFree=30374436/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=920.64 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3321 0 0 0 92062 2 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 920.64 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1002.3 s]
/proc/loadavg: 8.71 8.09 5.48 10/483 912536
/proc/meminfo: memFree=30373860/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=979.25 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3327 0 0 0 97923 2 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 979.25 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1062.3 s]
/proc/loadavg: 8.47 8.14 5.66 10/484 912546
/proc/meminfo: memFree=30373640/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1037.86 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3333 0 0 0 103784 2 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1037.86 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1122.3 s]
/proc/loadavg: 8.26 8.14 5.82 10/483 912555
/proc/meminfo: memFree=30373360/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1096.49 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3339 0 0 0 109647 2 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1096.49 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 5.96 11/483 912566
/proc/meminfo: memFree=30373072/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1155.1 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3344 0 0 0 115508 2 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1155.1 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1242.3 s]
/proc/loadavg: 8.03 8.09 6.09 12/483 912576
/proc/meminfo: memFree=30372548/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1213.72 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3350 0 0 0 121369 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1213.72 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 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=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1272.33 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3358 0 0 0 127230 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1272.33 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1362.3 s]
/proc/loadavg: 8.41 8.20 6.38 10/483 912605
/proc/meminfo: memFree=30372348/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1330.95 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3364 0 0 0 133092 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1330.95 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1422.3 s]
/proc/loadavg: 8.46 8.26 6.52 12/482 912615
/proc/meminfo: memFree=30371896/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1389.56 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3371 0 0 0 138953 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1389.56 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1482.3 s]
/proc/loadavg: 8.45 8.30 6.64 10/482 912624
/proc/meminfo: memFree=30371672/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1448.17 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3377 0 0 0 144814 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1448.17 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1542.3 s]
/proc/loadavg: 8.16 8.24 6.73 12/482 912633
/proc/meminfo: memFree=30371864/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17796 CPUtime=1506.79 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3382 0 0 0 150676 3 0 0 20 0 1 0 481983025 44429312 4449 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4449 1497 2 0 3259 0
Current children cumulated CPU time: 1506.79 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17796 KiB

[startup+1602.3 s]
/proc/loadavg: 8.32 8.27 6.84 11/482 912643
/proc/meminfo: memFree=30371628/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43388 memory=17976 CPUtime=1565.41 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3389 0 0 0 156538 3 0 0 20 0 1 0 481983025 44429312 4494 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10847 4494 1497 2 0 3259 0
Current children cumulated CPU time: 1565.41 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 17976 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.23 6.92 10/483 912653
/proc/meminfo: memFree=30371540/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43520 memory=17976 CPUtime=1624.01 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3396 0 0 0 162398 3 0 0 20 0 1 0 481983025 44564480 4494 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10880 4494 1497 2 0 3292 0
Current children cumulated CPU time: 1624.01 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 17976 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.19 6.99 11/483 912662
/proc/meminfo: memFree=30371168/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43520 memory=17976 CPUtime=1682.61 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3401 0 0 0 168258 3 0 0 20 0 1 0 481983025 44564480 4494 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10880 4494 1497 2 0 3292 0
Current children cumulated CPU time: 1682.61 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 17976 KiB

[startup+1782.3 s]
/proc/loadavg: 8.02 8.15 7.06 10/483 912673
/proc/meminfo: memFree=30370780/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43520 memory=17976 CPUtime=1741.21 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3407 0 0 0 174118 3 0 0 20 0 1 0 481983025 44564480 4494 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10880 4494 1497 2 0 3292 0
Current children cumulated CPU time: 1741.21 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 17976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.16 7.08 11/483 912681
/proc/meminfo: memFree=30370456/32713960 swapFree=33554428/33554428
[pid=912323] ppid=912319 vsize=43520 memory=17976 CPUtime=1758.53 cores=0
/proc/912323/stat : 912323 (pigeonPurSampli) R 912319 912323 912282 0 -1 4194304 3411 0 0 0 175850 3 0 0 20 0 1 0 481983025 44564480 4494 18446744073709551615 94070330220544 94070330224656 140736715069264 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94070332325120 94070332325892 94070338338816 140736715076109 140736715076226 140736715076226 140736715079649 0
/proc/912323/statm: 10880 4494 1497 2 0 3292 0
Current children cumulated CPU time: 1758.53 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 17976 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 912323 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.52 s, system=0.036336 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1758.56
CPU user time (s): 1758.52
CPU system time (s): 0.036336
CPU usage (%): 97.6951
Max. virtual memory (cumulated for all children) (KiB): 43520
Max. memory (cumulated for all children) (KiB): 17976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.52
system time used= 0.036336
maximum resident set size= 17976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3414
page faults= 0
swaps= 0
block input operations= 560
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 80483


# summary of solver processes directly reported to runsolver:
#   pid: 912323
#   total CPU time (s): 1758.56
#   total CPU user time (s): 1758.52
#   total CPU system time (s): 0.036336

??? end of timestamper thread
runsolver used 14.5217 second user time and 17.9904 second system time

The end
