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 (14530 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/term1_gr_rcs_w3.shuffled.cnf 

running on 1 cores: 4

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


[startup+0.100942 s]*
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30436512/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=0.08 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2772 0 0 0 8 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+0.217986 s]*
/proc/loadavg: 0.00 0.00 0.00 8/460 912335
/proc/meminfo: memFree=30425428/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=0.19 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2772 0 0 0 19 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+0.321985 s]*
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30423820/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=0.27 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2773 0 0 0 27 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+0.700949 s]
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=0.6 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2773 0 0 0 60 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+1.50095 s]
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=1.38 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2784 0 0 0 138 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+3.12294 s]
/proc/loadavg: 0.00 0.00 0.00 10/461 912336
/proc/meminfo: memFree=30422248/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=15916 CPUtime=2.97 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2789 0 0 0 297 0 0 0 20 0 1 0 481983025 44167168 3979 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 3979 1540 2 0 3195 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15916 KiB

[startup+6.30095 s]
/proc/loadavg: 0.40 0.08 0.03 9/461 912336
/proc/meminfo: memFree=30422236/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=16172 CPUtime=6.08 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2831 0 0 0 608 0 0 0 20 0 1 0 481983025 44167168 4043 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 4043 1540 2 0 3195 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16172 KiB

[startup+12.7009 s]
/proc/loadavg: 0.77 0.16 0.05 9/463 912339
/proc/meminfo: memFree=30421132/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=16356 CPUtime=12.35 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 2932 0 0 0 1235 0 0 0 20 0 1 0 481983025 44167168 4089 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 4089 1540 2 0 3195 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16356 KiB

[startup+25.5029 s]
/proc/loadavg: 2.24 0.52 0.17 12/486 912372
/proc/meminfo: memFree=30392344/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43132 memory=16364 CPUtime=24.86 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3133 0 0 0 2485 1 0 0 20 0 1 0 481983025 44167168 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10783 4091 1540 2 0 3195 0
Current children cumulated CPU time: 24.86 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16364 KiB

[startup+51.1259 s]
/proc/loadavg: 4.28 1.14 0.39 12/486 912372
/proc/meminfo: memFree=30389132/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16364 CPUtime=49.91 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3199 0 0 0 4989 2 0 0 20 0 1 0 481983025 44429312 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4091 1540 2 0 3259 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16364 KiB

[startup+102.301 s]
/proc/loadavg: 6.52 2.23 0.80 12/486 912381
/proc/meminfo: memFree=30383092/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16364 CPUtime=99.96 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3226 0 0 0 9994 2 0 0 20 0 1 0 481983025 44429312 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4091 1540 2 0 3259 0
Current children cumulated CPU time: 99.96 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16364 KiB

[startup+162.301 s]
/proc/loadavg: 7.62 3.33 1.27 12/485 912390
/proc/meminfo: memFree=30382432/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16364 CPUtime=158.64 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3234 0 0 0 15862 2 0 0 20 0 1 0 481983025 44429312 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4091 1540 2 0 3259 0
Current children cumulated CPU time: 158.64 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16364 KiB

[startup+222.301 s]
/proc/loadavg: 7.86 4.18 1.69 12/485 912400
/proc/meminfo: memFree=30379904/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16364 CPUtime=217.31 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3247 0 0 0 21729 2 0 0 20 0 1 0 481983025 44429312 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4091 1540 2 0 3259 0
Current children cumulated CPU time: 217.31 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16364 KiB

[startup+282.301 s]
/proc/loadavg: 7.95 4.88 2.09 12/485 912409
/proc/meminfo: memFree=30379864/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16364 CPUtime=275.97 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3253 0 0 0 27595 2 0 0 20 0 1 0 481983025 44429312 4091 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4091 1540 2 0 3259 0
Current children cumulated CPU time: 275.97 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16364 KiB

[startup+342.301 s]
/proc/loadavg: 8.10 5.48 2.47 13/483 912418
/proc/meminfo: memFree=30379032/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=334.63 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3260 0 0 0 33461 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 334.63 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.00 2.84 12/482 912428
/proc/meminfo: memFree=30377804/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=393.29 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3268 0 0 0 39327 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 393.29 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+462.301 s]
/proc/loadavg: 8.50 6.48 3.21 12/483 912438
/proc/meminfo: memFree=30377008/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=451.96 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3273 0 0 0 45194 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 451.96 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+522.301 s]
/proc/loadavg: 8.34 6.80 3.52 12/483 912447
/proc/meminfo: memFree=30376768/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=510.64 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3280 0 0 0 51062 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 510.64 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+582.301 s]
/proc/loadavg: 8.26 7.07 3.82 13/483 912458
/proc/meminfo: memFree=30376416/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=569.29 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3285 0 0 0 56927 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 569.29 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+642.302 s]
/proc/loadavg: 8.13 7.25 4.09 12/484 912469
/proc/meminfo: memFree=30376316/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=627.96 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3292 0 0 0 62794 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 627.96 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+702.301 s]
/proc/loadavg: 8.04 7.39 4.34 12/484 912479
/proc/meminfo: memFree=30374828/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=686.61 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3298 0 0 0 68659 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 686.61 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+762.305 s]
/proc/loadavg: 8.06 7.52 4.58 12/484 912489
/proc/meminfo: memFree=30374700/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=745.25 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3307 0 0 0 74523 2 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 745.25 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 7.66 4.81 13/484 912499
/proc/meminfo: memFree=30374804/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=803.89 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3313 0 0 0 80386 3 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 803.89 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+882.301 s]
/proc/loadavg: 8.34 7.81 5.04 13/484 912508
/proc/meminfo: memFree=30374676/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16508 CPUtime=862.54 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3319 0 0 0 86251 3 0 0 20 0 1 0 481983025 44429312 4127 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4127 1540 2 0 3259 0
Current children cumulated CPU time: 862.54 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16508 KiB

[startup+942.301 s]
/proc/loadavg: 8.49 7.94 5.26 12/483 912518
/proc/meminfo: memFree=30374436/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=921.18 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3328 0 0 0 92115 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 921.18 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 KiB

[startup+1002.3 s]
/proc/loadavg: 8.71 8.09 5.48 12/483 912536
/proc/meminfo: memFree=30373860/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=979.85 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3332 0 0 0 97982 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 979.85 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1038.51 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3340 0 0 0 103848 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1038.51 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1097.18 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3342 0 0 0 109715 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1097.18 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 KiB

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 5.96 12/483 912566
/proc/meminfo: memFree=30373072/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1155.87 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3348 0 0 0 115584 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1155.87 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1214.53 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3353 0 0 0 121450 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1214.53 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1273.19 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3361 0 0 0 127316 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1273.19 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1331.86 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3367 0 0 0 133183 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1331.86 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1390.53 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3375 0 0 0 139050 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1390.53 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 KiB

[startup+1482.3 s]
/proc/loadavg: 8.45 8.30 6.64 12/482 912624
/proc/meminfo: memFree=30371672/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1449.18 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3380 0 0 0 144915 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1449.18 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 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=912327] ppid=912325 vsize=43388 memory=16692 CPUtime=1507.8 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3389 0 0 0 150777 3 0 0 20 0 1 0 481983025 44429312 4173 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4173 1540 2 0 3259 0
Current children cumulated CPU time: 1507.8 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16692 KiB

[startup+1602.3 s]
/proc/loadavg: 8.32 8.27 6.84 12/482 912643
/proc/meminfo: memFree=30371628/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16876 CPUtime=1566.44 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3393 0 0 0 156641 3 0 0 20 0 1 0 481983025 44429312 4219 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4219 1540 2 0 3259 0
Current children cumulated CPU time: 1566.44 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16876 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.23 6.92 12/483 912653
/proc/meminfo: memFree=30371540/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43388 memory=16876 CPUtime=1625.1 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3401 0 0 0 162507 3 0 0 20 0 1 0 481983025 44429312 4219 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10847 4219 1540 2 0 3259 0
Current children cumulated CPU time: 1625.1 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16876 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.19 6.99 12/483 912662
/proc/meminfo: memFree=30371168/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43520 memory=16876 CPUtime=1683.78 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3408 0 0 0 168375 3 0 0 20 0 1 0 481983025 44564480 4219 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10880 4219 1540 2 0 3292 0
Current children cumulated CPU time: 1683.78 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16876 KiB

[startup+1782.3 s]
/proc/loadavg: 8.02 8.15 7.06 12/483 912673
/proc/meminfo: memFree=30370780/32713960 swapFree=33554428/33554428
[pid=912327] ppid=912325 vsize=43520 memory=16876 CPUtime=1742.48 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3413 0 0 0 174245 3 0 0 20 0 1 0 481983025 44564480 4219 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10880 4219 1540 2 0 3292 0
Current children cumulated CPU time: 1742.48 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16876 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=912327] ppid=912325 vsize=43520 memory=16876 CPUtime=1759.8 cores=4
/proc/912327/stat : 912327 (pigeonPurSampli) R 912325 912327 912297 0 -1 4194304 3416 0 0 0 175977 3 0 0 20 0 1 0 481983025 44564480 4219 18446744073709551615 94834750033920 94834750038032 140723395059776 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94834752138496 94834752139268 94834770898944 140723395064336 140723395064450 140723395064450 140723395067873 0
/proc/912327/statm: 10880 4219 1540 2 0 3292 0
Current children cumulated CPU time: 1759.8 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16876 KiB

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

Detected pigeons:

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

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1759.83
CPU user time (s): 1759.8
CPU system time (s): 0.036739
CPU usage (%): 97.7662
Max. virtual memory (cumulated for all children) (KiB): 43520
Max. memory (cumulated for all children) (KiB): 16876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.8
system time used= 0.036739
maximum resident set size= 16876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3419
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= 14
involuntary context switches= 60031


# summary of solver processes directly reported to runsolver:
#   pid: 912327
#   total CPU time (s): 1759.83
#   total CPU user time (s): 1759.8
#   total CPU system time (s): 0.036739

??? end of timestamper thread
runsolver used 14.2414 second user time and 17.3252 second system time

The end
