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: 15822 MiB (14913 MiB free)
  memory of node 1: 16124 MiB (15016 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net60-30-1.shuffled.cnf 

running on 1 cores: 5

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


[startup+0.102302 s]*
/proc/loadavg: 0.01 0.00 0.00 16/576 332107
/proc/meminfo: memFree=30593524/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=0.05 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2057 0 0 0 5 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+0.219309 s]*
/proc/loadavg: 0.01 0.00 0.00 10/576 332107
/proc/meminfo: memFree=30586936/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=0.15 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2057 0 0 0 15 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+0.338302 s]*
/proc/loadavg: 0.01 0.00 0.00 17/576 332107
/proc/meminfo: memFree=30584512/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=0.25 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2057 0 0 0 25 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+0.701318 s]
/proc/loadavg: 0.01 0.00 0.00 11/576 332107
/proc/meminfo: memFree=30582628/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=0.55 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2058 0 0 0 55 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+1.5013 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=1.33 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2061 0 0 0 133 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+3.13231 s]
/proc/loadavg: 0.01 0.00 0.00 15/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=2.92 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2067 0 0 0 292 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+6.3003 s]
/proc/loadavg: 1.21 0.25 0.08 15/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=12868 CPUtime=6.01 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2082 0 0 0 601 0 0 0 20 0 1 0 191294450 41308160 3217 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3217 1515 2 0 2497 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 12868 KiB

[startup+12.7013 s]
/proc/loadavg: 2.31 0.50 0.16 15/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13132 CPUtime=12.26 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2089 0 0 0 1226 0 0 0 20 0 1 0 191294450 41308160 3283 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3283 1515 2 0 2497 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13132 KiB

[startup+25.5113 s]
/proc/loadavg: 5.12 1.21 0.40 15/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13132 CPUtime=24.76 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2104 0 0 0 2476 0 0 0 20 0 1 0 191294450 41308160 3283 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3283 1515 2 0 2497 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13132 KiB

[startup+51.1263 s]
/proc/loadavg: 8.65 2.35 0.80 15/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13132 CPUtime=49.74 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2104 0 0 0 4974 0 0 0 20 0 1 0 191294450 41308160 3283 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3283 1515 2 0 2497 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13132 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 15/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13132 CPUtime=99.67 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2113 0 0 0 9967 0 0 0 20 0 1 0 191294450 41308160 3283 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3283 1515 2 0 2497 0
Current children cumulated CPU time: 99.67 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13132 KiB

[startup+162.3 s]
/proc/loadavg: 10.37 5.22 2.04 15/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13132 CPUtime=158.18 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2151 0 0 0 15818 0 0 0 20 0 1 0 191294450 41308160 3283 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3283 1515 2 0 2497 0
Current children cumulated CPU time: 158.18 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13132 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 16/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13396 CPUtime=216.71 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2154 0 0 0 21670 1 0 0 20 0 1 0 191294450 41308160 3349 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3349 1515 2 0 2497 0
Current children cumulated CPU time: 216.71 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13396 KiB

[startup+282.3 s]
/proc/loadavg: 8.81 6.41 2.87 15/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40340 memory=13396 CPUtime=275.25 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2159 0 0 0 27524 1 0 0 20 0 1 0 191294450 41308160 3349 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10085 3349 1515 2 0 2497 0
Current children cumulated CPU time: 275.25 s
Current children cumulated vsize: 40340 KiB
Current children cumulated memory: 13396 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 15/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=40948 memory=14452 CPUtime=333.77 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2421 0 0 0 33376 1 0 0 20 0 1 0 191294450 41930752 3613 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10237 3613 1515 2 0 2649 0
Current children cumulated CPU time: 333.77 s
Current children cumulated vsize: 40948 KiB
Current children cumulated memory: 14452 KiB

[startup+402.3 s]
/proc/loadavg: 8.29 7.03 3.53 15/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41088 memory=14452 CPUtime=392.32 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2455 0 0 0 39231 1 0 0 20 0 1 0 191294450 42074112 3613 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10272 3613 1515 2 0 2684 0
Current children cumulated CPU time: 392.32 s
Current children cumulated vsize: 41088 KiB
Current children cumulated memory: 14452 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 15/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41220 memory=14452 CPUtime=450.88 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2461 0 0 0 45087 1 0 0 20 0 1 0 191294450 42209280 3613 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10305 3613 1515 2 0 2717 0
Current children cumulated CPU time: 450.88 s
Current children cumulated vsize: 41220 KiB
Current children cumulated memory: 14452 KiB

[startup+522.3 s]
/proc/loadavg: 8.05 7.37 4.08 15/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41352 memory=14716 CPUtime=509.43 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2507 0 0 0 50942 1 0 0 20 0 1 0 191294450 42344448 3679 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10338 3679 1515 2 0 2750 0
Current children cumulated CPU time: 509.43 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 14716 KiB

[startup+582.3 s]
/proc/loadavg: 8.75 7.66 4.39 15/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41352 memory=14716 CPUtime=568 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2521 0 0 0 56799 1 0 0 20 0 1 0 191294450 42344448 3679 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10338 3679 1515 2 0 2750 0
Current children cumulated CPU time: 568 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 14716 KiB

[startup+642.3 s]
/proc/loadavg: 8.71 7.87 4.67 16/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41512 memory=14980 CPUtime=626.55 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2567 0 0 0 62654 1 0 0 20 0 1 0 191294450 42508288 3745 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10378 3745 1515 2 0 2790 0
Current children cumulated CPU time: 626.55 s
Current children cumulated vsize: 41512 KiB
Current children cumulated memory: 14980 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 15/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41660 memory=14980 CPUtime=685.09 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2574 0 0 0 68508 1 0 0 20 0 1 0 191294450 42659840 3745 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10415 3745 1515 2 0 2827 0
Current children cumulated CPU time: 685.09 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 14980 KiB

[startup+762.303 s]
/proc/loadavg: 8.27 8.00 5.11 15/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41660 memory=14980 CPUtime=743.62 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2587 0 0 0 74361 1 0 0 20 0 1 0 191294450 42659840 3745 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10415 3745 1515 2 0 2827 0
Current children cumulated CPU time: 743.62 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 14980 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 15/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41812 memory=14980 CPUtime=802.16 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2615 0 0 0 80215 1 0 0 20 0 1 0 191294450 42815488 3745 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10453 3745 1515 2 0 2865 0
Current children cumulated CPU time: 802.16 s
Current children cumulated vsize: 41812 KiB
Current children cumulated memory: 14980 KiB

[startup+882.3 s]
/proc/loadavg: 8.10 8.03 5.48 15/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41812 memory=15244 CPUtime=860.66 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2629 0 0 0 86065 1 0 0 20 0 1 0 191294450 42815488 3811 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10453 3811 1515 2 0 2865 0
Current children cumulated CPU time: 860.66 s
Current children cumulated vsize: 41812 KiB
Current children cumulated memory: 15244 KiB

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 5.66 15/572 332254
/proc/meminfo: memFree=30561668/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41960 memory=15244 CPUtime=919.18 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2662 0 0 0 91917 1 0 0 20 0 1 0 191294450 42967040 3811 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10490 3811 1515 2 0 2902 0
Current children cumulated CPU time: 919.18 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 15244 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 15/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=41960 memory=15244 CPUtime=977.68 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2670 0 0 0 97767 1 0 0 20 0 1 0 191294450 42967040 3811 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10490 3811 1515 2 0 2902 0
Current children cumulated CPU time: 977.68 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 15244 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 15/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42096 memory=16828 CPUtime=1036.2 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2713 0 0 0 103619 1 0 0 20 0 1 0 191294450 43106304 4207 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10524 4207 1515 2 0 2936 0
Current children cumulated CPU time: 1036.2 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 16828 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 15/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42228 memory=16828 CPUtime=1094.75 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2740 0 0 0 109474 1 0 0 20 0 1 0 191294450 43241472 4207 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10557 4207 1515 2 0 2969 0
Current children cumulated CPU time: 1094.75 s
Current children cumulated vsize: 42228 KiB
Current children cumulated memory: 16828 KiB

[startup+1182.3 s]
/proc/loadavg: 8.77 8.44 6.37 16/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42364 memory=17060 CPUtime=1153.28 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2771 0 0 0 115327 1 0 0 20 0 1 0 191294450 43380736 4265 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10591 4265 1515 2 0 3003 0
Current children cumulated CPU time: 1153.28 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17060 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 15/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42516 memory=17060 CPUtime=1211.77 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2805 0 0 0 121176 1 0 0 20 0 1 0 191294450 43536384 4265 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10629 4265 1515 2 0 3041 0
Current children cumulated CPU time: 1211.77 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17060 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 15/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42516 memory=17312 CPUtime=1270.24 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2818 0 0 0 127023 1 0 0 20 0 1 0 191294450 43536384 4328 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10629 4328 1515 2 0 3041 0
Current children cumulated CPU time: 1270.24 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17312 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.27 6.68 15/572 332344
/proc/meminfo: memFree=30548596/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42516 memory=17312 CPUtime=1328.79 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2841 0 0 0 132877 2 0 0 20 0 1 0 191294450 43536384 4328 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10629 4328 1515 2 0 3041 0
Current children cumulated CPU time: 1328.79 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 17312 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 15/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42664 memory=17312 CPUtime=1387.33 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2862 0 0 0 138731 2 0 0 20 0 1 0 191294450 43687936 4328 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10666 4328 1515 2 0 3078 0
Current children cumulated CPU time: 1387.33 s
Current children cumulated vsize: 42664 KiB
Current children cumulated memory: 17312 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.27 6.88 15/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42820 memory=17564 CPUtime=1445.87 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2898 0 0 0 144585 2 0 0 20 0 1 0 191294450 43847680 4391 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10705 4391 1515 2 0 3117 0
Current children cumulated CPU time: 1445.87 s
Current children cumulated vsize: 42820 KiB
Current children cumulated memory: 17564 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 15/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=42820 memory=17564 CPUtime=1504.42 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2906 0 0 0 150440 2 0 0 20 0 1 0 191294450 43847680 4391 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10705 4391 1515 2 0 3117 0
Current children cumulated CPU time: 1504.42 s
Current children cumulated vsize: 42820 KiB
Current children cumulated memory: 17564 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 15/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=43132 memory=17824 CPUtime=1562.92 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2967 0 0 0 156290 2 0 0 20 0 1 0 191294450 44167168 4456 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10783 4456 1515 2 0 3195 0
Current children cumulated CPU time: 1562.92 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 17824 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 15/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=43132 memory=17824 CPUtime=1621.45 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2974 0 0 0 162143 2 0 0 20 0 1 0 191294450 44167168 4456 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10783 4456 1515 2 0 3195 0
Current children cumulated CPU time: 1621.45 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 17824 KiB

[startup+1722.3 s]
/proc/loadavg: 8.30 8.33 7.23 15/571 332403
/proc/meminfo: memFree=30546056/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=43132 memory=17824 CPUtime=1679.97 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 2976 0 0 0 167995 2 0 0 20 0 1 0 191294450 44167168 4456 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10783 4456 1515 2 0 3195 0
Current children cumulated CPU time: 1679.97 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 17824 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 15/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=43284 memory=18076 CPUtime=1738.54 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 3016 0 0 0 173852 2 0 0 20 0 1 0 191294450 44322816 4519 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10821 4519 1515 2 0 3233 0
Current children cumulated CPU time: 1738.54 s
Current children cumulated vsize: 43284 KiB
Current children cumulated memory: 18076 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.25 7.30 16/572 332423
/proc/meminfo: memFree=30545852/32713976 swapFree=33554428/33554428
[pid=332101] ppid=332100 vsize=43284 memory=18076 CPUtime=1755.83 cores=5
/proc/332101/stat : 332101 (pigeonPurSampli) R 332100 332101 332073 0 -1 4194304 3016 0 0 0 175581 2 0 0 20 0 1 0 191294450 44322816 4519 18446744073709551615 94109593235456 94109593239568 140729424094592 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 3 0 0 94109595340032 94109595340804 94109620514816 140729424101908 140729424102018 140729424102018 140729424105441 0
/proc/332101/statm: 10821 4519 1515 2 0 3233 0
Current children cumulated CPU time: 1755.83 s
Current children cumulated vsize: 43284 KiB
Current children cumulated memory: 18076 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 332101 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.83 s, system=0.02573 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): 1755.86
CPU user time (s): 1755.83
CPU system time (s): 0.02573
CPU usage (%): 97.545
Max. virtual memory (cumulated for all children) (KiB): 43284
Max. memory (cumulated for all children) (KiB): 18076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.83
system time used= 0.02573
maximum resident set size= 18076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3018
page faults= 0
swaps= 0
block input operations= 304
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 38639


# summary of solver processes directly reported to runsolver:
#   pid: 332101
#   total CPU time (s): 1755.86
#   total CPU user time (s): 1755.83
#   total CPU system time (s): 0.02573

??? end of timestamper thread
runsolver used 16.0966 second user time and 19.5442 second system time

The end
