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: 1
  memory of node 0: 3630 MiB (1688 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/Velev/liveness.cnf 

running on 1 cores: 3

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


[startup+0.106016 s]*
/proc/loadavg: 0.19 0.05 0.01 8/471 425807
/proc/meminfo: memFree=1705752/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=43892 memory=16228 CPUtime=0.07 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 2892 0 0 0 6 1 0 0 20 0 1 0 233238313 44945408 4057 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 2 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 10973 4057 1496 2 0 3382 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43892 KiB
Current children cumulated memory: 16228 KiB

[startup+0.228779 s]*
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1694160/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=50292 memory=22764 CPUtime=0.18 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 4585 0 0 0 17 1 0 0 20 0 1 0 233238313 51499008 5691 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 2 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 12573 5691 1496 2 0 4982 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50292 KiB
Current children cumulated memory: 22764 KiB

[startup+0.335781 s]*
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1687356/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55412 memory=28064 CPUtime=0.25 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5879 0 0 0 23 2 0 0 20 0 1 0 233238313 56741888 7016 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 2 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13853 7016 1496 2 0 6262 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 55412 KiB
Current children cumulated memory: 28064 KiB

[startup+0.700785 s]
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1686096/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=0.55 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5948 0 0 0 53 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+1.50979 s]
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1685912/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=1.33 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5949 0 0 0 131 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+3.13179 s]
/proc/loadavg: 0.19 0.05 0.01 9/471 425807
/proc/meminfo: memFree=1685576/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=2.89 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5949 0 0 0 287 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+6.30081 s]
/proc/loadavg: 0.50 0.11 0.03 7/471 425807
/proc/meminfo: memFree=1685512/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=5.97 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5949 0 0 0 595 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+12.7018 s]
/proc/loadavg: 0.78 0.18 0.06 8/471 425815
/proc/meminfo: memFree=1683992/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=12.17 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5949 0 0 0 1215 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 12.17 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+25.5078 s]
/proc/loadavg: 1.49 0.36 0.12 7/471 425815
/proc/meminfo: memFree=1681952/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=55668 memory=28328 CPUtime=24.59 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 5971 0 0 0 2457 2 0 0 20 0 1 0 233238313 57004032 7082 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 13917 7082 1496 2 0 6326 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 55668 KiB
Current children cumulated memory: 28328 KiB

[startup+51.1348 s]
/proc/loadavg: 2.35 0.66 0.22 7/470 425815
/proc/meminfo: memFree=1679180/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=56112 memory=29120 CPUtime=49.43 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 6161 0 0 0 4941 2 0 0 20 0 1 0 233238313 57458688 7280 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 14028 7280 1496 2 0 6437 0
Current children cumulated CPU time: 49.43 s
Current children cumulated vsize: 56112 KiB
Current children cumulated memory: 29120 KiB

[startup+102.301 s]
/proc/loadavg: 3.29 1.18 0.42 7/470 425824
/proc/meminfo: memFree=1674140/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=59908 memory=33080 CPUtime=99.05 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 7137 0 0 0 9902 3 0 0 20 0 1 0 233238313 61345792 8270 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 14977 8270 1496 2 0 7386 0
Current children cumulated CPU time: 99.05 s
Current children cumulated vsize: 59908 KiB
Current children cumulated memory: 33080 KiB

[startup+162.301 s]
/proc/loadavg: 3.74 1.69 0.65 8/470 425835
/proc/meminfo: memFree=1669572/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=157.23 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 7990 0 0 0 15720 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 157.23 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+222.301 s]
/proc/loadavg: 4.14 2.18 0.88 7/470 425844
/proc/meminfo: memFree=1668264/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=215.39 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 7990 0 0 0 21536 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 215.39 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+282.309 s]
/proc/loadavg: 4.45 2.62 1.12 7/472 425857
/proc/meminfo: memFree=1667476/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=273.57 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8003 0 0 0 27354 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 273.57 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+342.301 s]
/proc/loadavg: 4.53 2.99 1.34 8/471 425866
/proc/meminfo: memFree=1666752/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=331.74 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8003 0 0 0 33171 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 331.74 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+402.307 s]
/proc/loadavg: 4.25 3.19 1.52 8/471 425876
/proc/meminfo: memFree=1665964/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=389.9 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8016 0 0 0 38987 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 389.9 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+462.301 s]
/proc/loadavg: 4.29 3.40 1.70 7/474 425898
/proc/meminfo: memFree=1664096/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63428 memory=36512 CPUtime=447.91 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8016 0 0 0 44788 3 0 0 20 0 1 0 233238313 64950272 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15857 9128 1496 2 0 8266 0
Current children cumulated CPU time: 447.91 s
Current children cumulated vsize: 63428 KiB
Current children cumulated memory: 36512 KiB

[startup+522.301 s]
/proc/loadavg: 4.10 3.51 1.84 7/472 425910
/proc/meminfo: memFree=1664828/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=36512 CPUtime=506.09 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8030 0 0 0 50605 4 0 0 20 0 1 0 233238313 65130496 9128 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9128 1496 2 0 8310 0
Current children cumulated CPU time: 506.09 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 36512 KiB

[startup+582.301 s]
/proc/loadavg: 4.04 3.60 1.98 7/471 425924
/proc/meminfo: memFree=1662364/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=36624 CPUtime=564.22 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8031 0 0 0 56418 4 0 0 20 0 1 0 233238313 65130496 9156 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9156 1496 2 0 8310 0
Current children cumulated CPU time: 564.22 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 36624 KiB

[startup+642.303 s]
/proc/loadavg: 4.06 3.69 2.11 7/470 425933
/proc/meminfo: memFree=1659584/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=38708 CPUtime=622.34 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8049 0 0 0 62230 4 0 0 20 0 1 0 233238313 65130496 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9677 1496 2 0 8310 0
Current children cumulated CPU time: 622.34 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 38708 KiB

[startup+702.309 s]
/proc/loadavg: 4.18 3.80 2.25 7/470 425942
/proc/meminfo: memFree=1659584/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=38708 CPUtime=680.49 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8049 0 0 0 68045 4 0 0 20 0 1 0 233238313 65130496 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9677 1496 2 0 8310 0
Current children cumulated CPU time: 680.49 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 38708 KiB

[startup+762.301 s]
/proc/loadavg: 4.60 3.99 2.42 8/471 425954
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=38708 CPUtime=738.63 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8062 0 0 0 73859 4 0 0 20 0 1 0 233238313 65130496 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9677 1496 2 0 8310 0
Current children cumulated CPU time: 738.63 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 38708 KiB

[startup+822.301 s]
/proc/loadavg: 4.45 4.06 2.54 7/470 425964
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=38708 CPUtime=796.78 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8075 0 0 0 79674 4 0 0 20 0 1 0 233238313 65130496 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9677 1496 2 0 8310 0
Current children cumulated CPU time: 796.78 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 38708 KiB

[startup+882.301 s]
/proc/loadavg: 4.26 4.08 2.65 8/470 425973
/proc/meminfo: memFree=1659520/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63604 memory=38708 CPUtime=854.93 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8075 0 0 0 85489 4 0 0 20 0 1 0 233238313 65130496 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15901 9677 1496 2 0 8310 0
Current children cumulated CPU time: 854.93 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 38708 KiB

[startup+942.303 s]
/proc/loadavg: 4.09 4.06 2.74 7/470 425982
/proc/meminfo: memFree=1659236/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63744 memory=38708 CPUtime=913.07 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8088 0 0 0 91303 4 0 0 20 0 1 0 233238313 65273856 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15936 9677 1496 2 0 8345 0
Current children cumulated CPU time: 913.07 s
Current children cumulated vsize: 63744 KiB
Current children cumulated memory: 38708 KiB

[startup+1002.31 s]
/proc/loadavg: 4.03 4.05 2.82 7/470 425992
/proc/meminfo: memFree=1658700/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63744 memory=38708 CPUtime=971.3 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8088 0 0 0 97126 4 0 0 20 0 1 0 233238313 65273856 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15936 9677 1496 2 0 8345 0
Current children cumulated CPU time: 971.3 s
Current children cumulated vsize: 63744 KiB
Current children cumulated memory: 38708 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.06 2.90 7/470 426002
/proc/meminfo: memFree=1658448/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63744 memory=38708 CPUtime=1029.43 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8101 0 0 0 102939 4 0 0 20 0 1 0 233238313 65273856 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15936 9677 1496 2 0 8345 0
Current children cumulated CPU time: 1029.43 s
Current children cumulated vsize: 63744 KiB
Current children cumulated memory: 38708 KiB

[startup+1122.3 s]
/proc/loadavg: 4.07 4.06 2.98 8/469 426012
/proc/meminfo: memFree=1658668/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63744 memory=38708 CPUtime=1087.6 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8101 0 0 0 108755 5 0 0 20 0 1 0 233238313 65273856 9677 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15936 9677 1496 2 0 8345 0
Current children cumulated CPU time: 1087.6 s
Current children cumulated vsize: 63744 KiB
Current children cumulated memory: 38708 KiB

[startup+1182.3 s]
/proc/loadavg: 4.14 4.08 3.05 7/469 426022
/proc/meminfo: memFree=1658164/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1145.76 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8115 0 0 0 114571 5 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1145.76 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1242.3 s]
/proc/loadavg: 4.58 4.20 3.16 7/469 426031
/proc/meminfo: memFree=1657628/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1203.9 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8127 0 0 0 120385 5 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1203.9 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1302.3 s]
/proc/loadavg: 4.58 4.27 3.25 7/469 426051
/proc/meminfo: memFree=1656588/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1261.99 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8127 0 0 0 126194 5 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1261.99 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1362.31 s]
/proc/loadavg: 4.36 4.27 3.32 7/471 426065
/proc/meminfo: memFree=1655580/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1320.02 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8141 0 0 0 131997 5 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1320.02 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1422.3 s]
/proc/loadavg: 4.35 4.28 3.39 7/471 426074
/proc/meminfo: memFree=1655548/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1378.04 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8141 0 0 0 137799 5 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1378.04 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1482.3 s]
/proc/loadavg: 4.13 4.22 3.43 7/472 426085
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1436.08 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8154 0 0 0 143602 6 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1436.08 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1542.3 s]
/proc/loadavg: 4.09 4.20 3.47 7/472 426094
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=63916 memory=38972 CPUtime=1494.11 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8154 0 0 0 149405 6 0 0 20 0 1 0 233238313 65449984 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 15979 9743 1496 2 0 8388 0
Current children cumulated CPU time: 1494.11 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 38972 KiB

[startup+1602.3 s]
/proc/loadavg: 4.03 4.16 3.51 7/472 426104
/proc/meminfo: memFree=1655484/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=64060 memory=38972 CPUtime=1552.04 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8167 0 0 0 155198 6 0 0 20 0 1 0 233238313 65597440 9743 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 16015 9743 1496 2 0 8424 0
Current children cumulated CPU time: 1552.04 s
Current children cumulated vsize: 64060 KiB
Current children cumulated memory: 38972 KiB

[startup+1662.3 s]
/proc/loadavg: 4.51 4.25 3.58 7/470 426115
/proc/meminfo: memFree=1655168/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=64060 memory=39236 CPUtime=1610.07 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8180 0 0 0 161001 6 0 0 20 0 1 0 233238313 65597440 9809 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 16015 9809 1496 2 0 8424 0
Current children cumulated CPU time: 1610.07 s
Current children cumulated vsize: 64060 KiB
Current children cumulated memory: 39236 KiB

[startup+1722.3 s]
/proc/loadavg: 4.61 4.32 3.65 7/470 426124
/proc/meminfo: memFree=1648332/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=64060 memory=39236 CPUtime=1668.18 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8180 0 0 0 166812 6 0 0 20 0 1 0 233238313 65597440 9809 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 16015 9809 1496 2 0 8424 0
Current children cumulated CPU time: 1668.18 s
Current children cumulated vsize: 64060 KiB
Current children cumulated memory: 39236 KiB

[startup+1782.3 s]
/proc/loadavg: 4.66 4.38 3.71 7/469 426134
/proc/meminfo: memFree=1645276/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=64240 memory=39236 CPUtime=1726.19 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8194 0 0 0 172613 6 0 0 20 0 1 0 233238313 65781760 9809 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 16060 9809 1496 2 0 8469 0
Current children cumulated CPU time: 1726.19 s
Current children cumulated vsize: 64240 KiB
Current children cumulated memory: 39236 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.53 4.37 3.73 6/461 426136
/proc/meminfo: memFree=1675492/3717660 swapFree=8388604/8388604
[pid=425806] ppid=425805 vsize=64240 memory=39236 CPUtime=1743.36 cores=3
/proc/425806/stat : 425806 (pigeonPurSampli) R 425805 425806 425792 0 -1 4194304 8194 0 0 0 174329 7 0 0 20 0 1 0 233238313 65781760 9809 18446744073709551615 94800201465856 94800201469968 140729083618368 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 2 0 0 94800203570432 94800203571204 94800233447424 140729083626041 140729083626114 140729083626114 140729083629537 0
/proc/425806/statm: 16060 9809 1496 2 0 8469 0
Current children cumulated CPU time: 1743.36 s
Current children cumulated vsize: 64240 KiB
Current children cumulated memory: 39236 KiB

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

Detected pigeons:

[startup+1800.13 s]
# the end of solver process 425806 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1743.39 s, system=0.07384 s

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

Child status: 1
Real time (s): 1800.13
CPU time (s): 1743.46
CPU user time (s): 1743.39
CPU system time (s): 0.07384
CPU usage (%): 96.8522
Max. virtual memory (cumulated for all children) (KiB): 64240
Max. memory (cumulated for all children) (KiB): 39236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.39
system time used= 0.07384
maximum resident set size= 39236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8201
page faults= 0
swaps= 0
block input operations= 2168
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 98848


# summary of solver processes directly reported to runsolver:
#   pid: 425806
#   total CPU time (s): 1743.46
#   total CPU user time (s): 1743.39
#   total CPU system time (s): 0.07384

??? end of timestamper thread
runsolver used 16.9393 second user time and 23.6887 second system time

The end
