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 (14537 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_2pin_w3.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.101593 s]*
/proc/loadavg: 0.00 0.00 0.00 6/460 912335
/proc/meminfo: memFree=30440180/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15632 CPUtime=0.08 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2766 0 0 0 8 0 0 0 20 0 1 0 481983024 44167168 3908 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3908 1481 2 0 3195 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15632 KiB

[startup+0.232591 s]*
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30425428/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15632 CPUtime=0.18 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2768 0 0 0 18 0 0 0 20 0 1 0 481983024 44167168 3908 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3908 1481 2 0 3195 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15632 KiB

[startup+0.322601 s]*
/proc/loadavg: 0.00 0.00 0.00 6/460 912335
/proc/meminfo: memFree=30423820/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15632 CPUtime=0.26 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2769 0 0 0 26 0 0 0 20 0 1 0 481983024 44167168 3908 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3908 1481 2 0 3195 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15632 KiB

[startup+0.700598 s]
/proc/loadavg: 0.00 0.00 0.00 6/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15632 CPUtime=0.58 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2769 0 0 0 58 0 0 0 20 0 1 0 481983024 44167168 3908 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3908 1481 2 0 3195 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15632 KiB

[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 6/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15764 CPUtime=1.37 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2780 0 0 0 136 1 0 0 20 0 1 0 481983024 44167168 3941 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3941 1481 2 0 3195 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15764 KiB

[startup+3.1166 s]
/proc/loadavg: 0.00 0.00 0.00 6/461 912336
/proc/meminfo: memFree=30422248/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15768 CPUtime=2.94 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 2786 0 0 0 293 1 0 0 20 0 1 0 481983024 44167168 3942 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3942 1481 2 0 3195 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15768 KiB

[startup+6.3006 s]
/proc/loadavg: 0.40 0.08 0.03 6/461 912336
/proc/meminfo: memFree=30422236/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43132 memory=15984 CPUtime=6.05 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 25812 0 0 0 592 13 0 0 20 0 1 0 481983024 44167168 3996 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10783 3996 1497 2 0 3195 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15984 KiB

[startup+12.7006 s]
/proc/loadavg: 0.77 0.16 0.05 6/463 912339
/proc/meminfo: memFree=30421132/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16004 CPUtime=12.31 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30066 0 0 0 1216 15 0 0 20 0 1 0 481983024 44429312 4001 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4001 1497 2 0 3259 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16004 KiB

[startup+25.5006 s]
/proc/loadavg: 2.24 0.52 0.17 9/486 912372
/proc/meminfo: memFree=30392344/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16004 CPUtime=24.81 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30068 0 0 0 2466 15 0 0 20 0 1 0 481983024 44429312 4001 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4001 1497 2 0 3259 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16004 KiB

[startup+51.1246 s]
/proc/loadavg: 4.28 1.14 0.39 9/486 912372
/proc/meminfo: memFree=30389132/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16004 CPUtime=49.82 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30074 0 0 0 4967 15 0 0 20 0 1 0 481983024 44429312 4001 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4001 1497 2 0 3259 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16004 KiB

[startup+102.301 s]
/proc/loadavg: 6.52 2.23 0.80 9/486 912381
/proc/meminfo: memFree=30383092/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=99.77 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30100 0 0 0 9962 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 99.77 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 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=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=158.31 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30108 0 0 0 15816 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 158.31 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 KiB

[startup+222.301 s]
/proc/loadavg: 7.86 4.18 1.69 9/485 912400
/proc/meminfo: memFree=30379904/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=216.86 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30121 0 0 0 21671 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 216.86 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 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=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=275.42 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30127 0 0 0 27527 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 275.42 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 KiB

[startup+342.301 s]
/proc/loadavg: 8.10 5.48 2.47 9/483 912418
/proc/meminfo: memFree=30379032/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=333.95 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30134 0 0 0 33380 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 333.95 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.00 2.84 9/482 912428
/proc/meminfo: memFree=30377804/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=392.52 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30142 0 0 0 39237 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 392.52 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 KiB

[startup+462.301 s]
/proc/loadavg: 8.50 6.48 3.21 9/483 912438
/proc/meminfo: memFree=30377008/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16240 CPUtime=451.08 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30147 0 0 0 45093 15 0 0 20 0 1 0 481983024 44429312 4060 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4060 1497 2 0 3259 0
Current children cumulated CPU time: 451.08 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16240 KiB

[startup+522.311 s]
/proc/loadavg: 8.34 6.80 3.52 9/483 912447
/proc/meminfo: memFree=30376768/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=509.61 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30154 0 0 0 50946 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 509.61 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+582.301 s]
/proc/loadavg: 8.26 7.07 3.82 9/483 912458
/proc/meminfo: memFree=30376416/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=568.17 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30160 0 0 0 56802 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 568.17 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+642.301 s]
/proc/loadavg: 8.13 7.25 4.09 9/484 912469
/proc/meminfo: memFree=30376316/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=626.72 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30166 0 0 0 62657 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 626.72 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+702.301 s]
/proc/loadavg: 8.04 7.39 4.34 9/484 912479
/proc/meminfo: memFree=30374828/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=685.29 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30174 0 0 0 68514 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 685.29 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+762.301 s]
/proc/loadavg: 8.06 7.52 4.58 9/484 912489
/proc/meminfo: memFree=30374700/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=743.85 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30181 0 0 0 74370 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 743.85 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 7.66 4.81 9/484 912499
/proc/meminfo: memFree=30374804/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=802.38 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30188 0 0 0 80223 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 802.38 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+882.301 s]
/proc/loadavg: 8.34 7.81 5.04 9/484 912508
/proc/meminfo: memFree=30374676/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=860.95 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30193 0 0 0 86080 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 860.95 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+942.301 s]
/proc/loadavg: 8.49 7.94 5.26 10/483 912518
/proc/meminfo: memFree=30374436/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=919.51 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30202 0 0 0 91936 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 919.51 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+1002.3 s]
/proc/loadavg: 8.71 8.09 5.48 9/483 912536
/proc/meminfo: memFree=30373860/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=978.06 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30206 0 0 0 97791 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 978.06 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+1062.3 s]
/proc/loadavg: 8.47 8.14 5.66 9/484 912546
/proc/meminfo: memFree=30373640/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=1036.62 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30212 0 0 0 103647 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 1036.62 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+1122.3 s]
/proc/loadavg: 8.26 8.14 5.82 9/483 912555
/proc/meminfo: memFree=30373360/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16388 CPUtime=1095.17 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30216 0 0 0 109502 15 0 0 20 0 1 0 481983024 44429312 4097 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4097 1497 2 0 3259 0
Current children cumulated CPU time: 1095.17 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16388 KiB

[startup+1182.3 s]
/proc/loadavg: 8.09 8.11 5.96 10/483 912566
/proc/meminfo: memFree=30373072/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1153.77 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30223 0 0 0 115362 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1153.77 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1242.3 s]
/proc/loadavg: 8.03 8.09 6.09 9/483 912576
/proc/meminfo: memFree=30372548/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1212.35 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30227 0 0 0 121220 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1212.35 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1302.3 s]
/proc/loadavg: 8.29 8.14 6.24 9/483 912596
/proc/meminfo: memFree=30371856/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1270.91 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30235 0 0 0 127076 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1270.91 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1362.3 s]
/proc/loadavg: 8.41 8.20 6.38 9/483 912605
/proc/meminfo: memFree=30372348/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1329.48 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30242 0 0 0 132933 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1329.48 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1422.3 s]
/proc/loadavg: 8.46 8.26 6.52 9/482 912615
/proc/meminfo: memFree=30371896/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1388.03 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30249 0 0 0 138788 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1388.03 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1482.3 s]
/proc/loadavg: 8.45 8.30 6.64 9/482 912624
/proc/meminfo: memFree=30371672/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1446.6 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30256 0 0 0 144645 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1446.6 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1542.3 s]
/proc/loadavg: 8.16 8.24 6.73 9/482 912633
/proc/meminfo: memFree=30371864/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1505.15 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30261 0 0 0 150500 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1505.15 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1602.3 s]
/proc/loadavg: 8.32 8.27 6.84 9/482 912643
/proc/meminfo: memFree=30371628/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1563.73 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30267 0 0 0 156358 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1563.73 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 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=912314] ppid=912310 vsize=43388 memory=16572 CPUtime=1622.3 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30274 0 0 0 162215 15 0 0 20 0 1 0 481983024 44429312 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10847 4143 1497 2 0 3259 0
Current children cumulated CPU time: 1622.3 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16572 KiB

[startup+1722.3 s]
/proc/loadavg: 8.06 8.19 6.99 10/483 912662
/proc/meminfo: memFree=30371168/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43520 memory=16572 CPUtime=1680.9 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30282 0 0 0 168075 15 0 0 20 0 1 0 481983024 44564480 4143 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10880 4143 1497 2 0 3292 0
Current children cumulated CPU time: 1680.9 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16572 KiB

[startup+1782.3 s]
/proc/loadavg: 8.02 8.15 7.06 9/483 912673
/proc/meminfo: memFree=30370780/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43520 memory=16756 CPUtime=1739.52 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30287 0 0 0 173937 15 0 0 20 0 1 0 481983024 44564480 4189 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10880 4189 1497 2 0 3292 0
Current children cumulated CPU time: 1739.52 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16756 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]*
/proc/loadavg: 8.08 8.16 7.08 12/483 912681
/proc/meminfo: memFree=30370456/32713960 swapFree=33554428/33554428
[pid=912314] ppid=912310 vsize=43520 memory=16756 CPUtime=1756.82 cores=2
/proc/912314/stat : 912314 (pigeonPurSampli) R 912310 912314 912289 0 -1 4194304 30288 0 0 0 175667 15 0 0 20 0 1 0 481983024 44564480 4189 18446744073709551615 94229003489280 94229003493392 140726628863584 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94229005593856 94229005594628 94229017006080 140726628864527 140726628864642 140726628864642 140726628868065 0
/proc/912314/statm: 10880 4189 1497 2 0 3292 0
Current children cumulated CPU time: 1756.82 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 16756 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 912314 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.69 s, system=0.15689 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): 1756.85
CPU user time (s): 1756.69
CPU system time (s): 0.15689
CPU usage (%): 97.6002
Max. virtual memory (cumulated for all children) (KiB): 43520
Max. memory (cumulated for all children) (KiB): 16756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.69
system time used= 0.15689
maximum resident set size= 16756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30291
page faults= 0
swaps= 0
block input operations= 592
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 58387


# summary of solver processes directly reported to runsolver:
#   pid: 912314
#   total CPU time (s): 1756.85
#   total CPU user time (s): 1756.69
#   total CPU system time (s): 0.15689

??? end of timestamper thread
runsolver used 14.9353 second user time and 18.7485 second system time

The end
