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/too_large_gr_rcs_w5.shuffled.cnf 

running on 1 cores: 6

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


[startup+0.105517 s]*
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30435392/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=41084 memory=13360 CPUtime=0.04 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 2216 0 0 0 3 1 0 0 20 0 1 0 481983025 42070016 3340 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 2 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 10271 3340 1506 2 0 2683 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 13360 KiB

[startup+0.216516 s]*
/proc/loadavg: 0.00 0.00 0.00 7/460 912335
/proc/meminfo: memFree=30425428/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=18800 CPUtime=0.14 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3564 0 0 0 13 1 0 0 20 0 1 0 481983025 47312896 4700 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4700 1506 2 0 3963 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 18800 KiB

[startup+0.322588 s]*
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30423820/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=18800 CPUtime=0.22 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3564 0 0 0 21 1 0 0 20 0 1 0 481983025 47312896 4700 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4700 1506 2 0 3963 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 18800 KiB

[startup+0.700521 s]
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=18800 CPUtime=0.55 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3565 0 0 0 54 1 0 0 20 0 1 0 481983025 47312896 4700 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4700 1506 2 0 3963 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 18800 KiB

[startup+1.50052 s]
/proc/loadavg: 0.00 0.00 0.00 9/460 912335
/proc/meminfo: memFree=30422460/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=18800 CPUtime=1.33 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3565 0 0 0 132 1 0 0 20 0 1 0 481983025 47312896 4700 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4700 1506 2 0 3963 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 18800 KiB

[startup+3.12152 s]
/proc/loadavg: 0.00 0.00 0.00 10/461 912336
/proc/meminfo: memFree=30422248/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=18800 CPUtime=2.91 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3570 0 0 0 290 1 0 0 20 0 1 0 481983025 47312896 4700 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4700 1506 2 0 3963 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 18800 KiB

[startup+6.30052 s]
/proc/loadavg: 0.40 0.08 0.03 9/461 912336
/proc/meminfo: memFree=30422236/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=19064 CPUtime=6.02 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3580 0 0 0 601 1 0 0 20 0 1 0 481983025 47312896 4766 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4766 1506 2 0 3963 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 19064 KiB

[startup+12.7005 s]
/proc/loadavg: 0.77 0.16 0.05 9/463 912339
/proc/meminfo: memFree=30421132/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=19064 CPUtime=12.29 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3606 0 0 0 1228 1 0 0 20 0 1 0 481983025 47312896 4766 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4766 1506 2 0 3963 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 19064 KiB

[startup+25.5005 s]
/proc/loadavg: 2.24 0.52 0.17 12/486 912372
/proc/meminfo: memFree=30392344/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=19064 CPUtime=24.82 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3618 0 0 0 2481 1 0 0 20 0 1 0 481983025 47312896 4766 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4766 1506 2 0 3963 0
Current children cumulated CPU time: 24.82 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 19064 KiB

[startup+51.1245 s]
/proc/loadavg: 4.28 1.14 0.39 12/486 912372
/proc/meminfo: memFree=30389132/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=19064 CPUtime=49.86 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3626 0 0 0 4985 1 0 0 20 0 1 0 481983025 47312896 4766 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 4766 1506 2 0 3963 0
Current children cumulated CPU time: 49.86 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 19064 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=912330] ppid=912326 vsize=46204 memory=20692 CPUtime=99.91 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3668 0 0 0 9990 1 0 0 20 0 1 0 481983025 47312896 5173 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5173 1506 2 0 3963 0
Current children cumulated CPU time: 99.91 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20692 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=912330] ppid=912326 vsize=46204 memory=20692 CPUtime=158.58 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3683 0 0 0 15857 1 0 0 20 0 1 0 481983025 47312896 5173 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5173 1506 2 0 3963 0
Current children cumulated CPU time: 158.58 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20692 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=912330] ppid=912326 vsize=46204 memory=20692 CPUtime=217.27 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3691 0 0 0 21726 1 0 0 20 0 1 0 481983025 47312896 5173 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5173 1506 2 0 3963 0
Current children cumulated CPU time: 217.27 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20692 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=912330] ppid=912326 vsize=46204 memory=20692 CPUtime=275.95 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3700 0 0 0 27593 2 0 0 20 0 1 0 481983025 47312896 5173 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5173 1506 2 0 3963 0
Current children cumulated CPU time: 275.95 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20692 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=912330] ppid=912326 vsize=46204 memory=20692 CPUtime=334.63 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3704 0 0 0 33461 2 0 0 20 0 1 0 481983025 47312896 5173 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5173 1506 2 0 3963 0
Current children cumulated CPU time: 334.63 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20692 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=393.33 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3712 0 0 0 39331 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 393.33 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=452 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3716 0 0 0 45198 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 452 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=510.7 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3723 0 0 0 51068 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 510.7 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=569.38 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3727 0 0 0 56936 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 569.38 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 KiB

[startup+642.301 s]
/proc/loadavg: 8.13 7.25 4.09 13/484 912469
/proc/meminfo: memFree=30376316/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=628.07 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3733 0 0 0 62805 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 628.07 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=686.75 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3737 0 0 0 68673 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 686.75 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 KiB

[startup+762.301 s]
/proc/loadavg: 8.06 7.52 4.58 12/484 912489
/proc/meminfo: memFree=30374700/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=745.4 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3744 0 0 0 74538 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 745.4 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 KiB

[startup+822.304 s]
/proc/loadavg: 8.18 7.66 4.81 12/484 912499
/proc/meminfo: memFree=30374804/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=804.04 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3748 0 0 0 80402 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 804.04 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=862.69 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3754 0 0 0 86267 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 862.69 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=921.35 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3758 0 0 0 92133 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 921.35 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=980 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3762 0 0 0 97998 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 980 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 KiB

[startup+1062.3 s]
/proc/loadavg: 8.47 8.14 5.66 12/484 912546
/proc/meminfo: memFree=30373640/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=1038.66 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3768 0 0 0 103864 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 1038.66 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20772 CPUtime=1097.3 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3772 0 0 0 109728 2 0 0 20 0 1 0 481983025 47312896 5193 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5193 1506 2 0 3963 0
Current children cumulated CPU time: 1097.3 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20772 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1155.93 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3777 0 0 0 115591 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1155.93 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1214.58 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3781 0 0 0 121456 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1214.58 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1273.25 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3785 0 0 0 127323 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1273.25 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1331.93 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3791 0 0 0 133191 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1331.93 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1390.59 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3797 0 0 0 139057 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1390.59 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 KiB

[startup+1482.3 s]
/proc/loadavg: 8.45 8.30 6.64 13/482 912624
/proc/meminfo: memFree=30371672/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1449.23 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3801 0 0 0 144921 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1449.23 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1507.89 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3805 0 0 0 150787 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1507.89 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1566.54 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3806 0 0 0 156652 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1566.54 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 KiB

[startup+1662.3 s]
/proc/loadavg: 8.16 8.23 6.92 13/483 912653
/proc/meminfo: memFree=30371540/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1625.21 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3812 0 0 0 162519 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1625.21 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1683.88 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3818 0 0 0 168386 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1683.88 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 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=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1742.56 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3822 0 0 0 174254 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1742.56 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.16 7.08 14/483 912681
/proc/meminfo: memFree=30370456/32713960 swapFree=33554428/33554428
[pid=912330] ppid=912326 vsize=46204 memory=20824 CPUtime=1759.9 cores=6
/proc/912330/stat : 912330 (pigeonPurSampli) R 912326 912330 912306 0 -1 4194304 3828 0 0 0 175988 2 0 0 20 0 1 0 481983025 47312896 5206 18446744073709551615 94726901493760 94726901497872 140721300214816 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 5 0 0 94726903598336 94726903599108 94726919004160 140721300218380 140721300218498 140721300218498 140721300221921 0
/proc/912330/statm: 11551 5206 1506 2 0 3963 0
Current children cumulated CPU time: 1759.9 s
Current children cumulated vsize: 46204 KiB
Current children cumulated memory: 20824 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 912330 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1759.9 s, system=0.027793 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): 1759.93
CPU user time (s): 1759.9
CPU system time (s): 0.027793
CPU usage (%): 97.771
Max. virtual memory (cumulated for all children) (KiB): 46204
Max. memory (cumulated for all children) (KiB): 20824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.9
system time used= 0.027793
maximum resident set size= 20824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3830
page faults= 0
swaps= 0
block input operations= 880
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 43142


# summary of solver processes directly reported to runsolver:
#   pid: 912330
#   total CPU time (s): 1759.93
#   total CPU user time (s): 1759.9
#   total CPU system time (s): 0.027793

??? end of timestamper thread
runsolver used 14.3573 second user time and 17.3405 second system time

The end
