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 (13200 MiB free)
  memory of node 1: 16087 MiB (13584 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/fgpa_routing/alu2_gr_rcs_w7.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100643 s]*
/proc/loadavg: 0.00 0.00 0.11 7/544 1276240
/proc/meminfo: memFree=27384560/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=46952 memory=19044 CPUtime=0.08 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 3663 0 0 0 7 1 0 0 20 0 1 0 398715099 48078848 4761 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 11738 4761 1476 2 0 4150 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46952 KiB
Current children cumulated memory: 19044 KiB

[startup+0.222605 s]*
/proc/loadavg: 0.00 0.00 0.11 7/544 1276240
/proc/meminfo: memFree=27368952/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=0.18 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5871 0 0 0 17 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+0.322612 s]*
/proc/loadavg: 0.00 0.00 0.11 7/544 1276240
/proc/meminfo: memFree=27367564/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=0.26 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5872 0 0 0 25 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+0.700608 s]
/proc/loadavg: 0.00 0.00 0.11 6/544 1276240
/proc/meminfo: memFree=27366492/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=0.58 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5873 0 0 0 57 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+1.50061 s]
/proc/loadavg: 0.00 0.00 0.11 6/544 1276240
/proc/meminfo: memFree=27366536/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=1.36 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5873 0 0 0 135 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+3.12661 s]
/proc/loadavg: 0.40 0.08 0.14 6/544 1276241
/proc/meminfo: memFree=27366484/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=2.94 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5873 0 0 0 293 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+6.30061 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=6.04 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5887 0 0 0 603 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+12.7006 s]
/proc/loadavg: 1.57 0.34 0.22 10/569 1276275
/proc/meminfo: memFree=27301916/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=27992 CPUtime=12.29 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5902 0 0 0 1228 1 0 0 20 0 1 0 398715099 56729600 6998 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 6998 1476 2 0 6262 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 27992 KiB

[startup+25.5006 s]
/proc/loadavg: 2.56 0.60 0.31 11/569 1276275
/proc/meminfo: memFree=27300616/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55400 memory=28316 CPUtime=24.77 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 5928 0 0 0 2476 1 0 0 20 0 1 0 398715099 56729600 7079 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13850 7079 1492 2 0 6262 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 28316 KiB

[startup+51.1266 s]
/proc/loadavg: 4.49 1.21 0.52 10/569 1276283
/proc/meminfo: memFree=27296568/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55680 memory=28844 CPUtime=49.77 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6071 0 0 0 4976 1 0 0 20 0 1 0 398715099 57016320 7211 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13920 7211 1492 2 0 6332 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 55680 KiB
Current children cumulated memory: 28844 KiB

[startup+102.301 s]
/proc/loadavg: 6.80 2.41 0.97 10/568 1276285
/proc/meminfo: memFree=27295528/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=99.67 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6121 0 0 0 9965 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 99.67 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+162.301 s]
/proc/loadavg: 7.96 3.53 1.45 9/569 1276295
/proc/meminfo: memFree=27294808/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=158.18 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6124 0 0 0 15816 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 158.18 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+222.301 s]
/proc/loadavg: 8.06 4.36 1.87 10/569 1276305
/proc/meminfo: memFree=27292752/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=216.67 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6124 0 0 0 21665 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 216.67 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+282.301 s]
/proc/loadavg: 8.55 5.19 2.31 10/569 1276314
/proc/meminfo: memFree=27292848/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=275.19 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6126 0 0 0 27517 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 275.19 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+342.301 s]
/proc/loadavg: 8.34 5.74 2.68 9/568 1276323
/proc/meminfo: memFree=27291784/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=333.72 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6129 0 0 0 33370 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 333.72 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.18 3.02 9/568 1276333
/proc/meminfo: memFree=27291188/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=392.23 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6129 0 0 0 39221 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 392.23 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+462.301 s]
/proc/loadavg: 8.17 6.54 3.35 9/567 1276342
/proc/meminfo: memFree=27288200/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=450.69 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6133 0 0 0 45067 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 450.69 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+522.301 s]
/proc/loadavg: 8.12 6.83 3.65 9/567 1276352
/proc/meminfo: memFree=27288172/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=509.14 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6133 0 0 0 50912 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 509.14 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 9/567 1276362
/proc/meminfo: memFree=27287936/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=567.65 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6133 0 0 0 56763 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 567.65 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+642.301 s]
/proc/loadavg: 8.33 7.33 4.22 9/567 1276371
/proc/meminfo: memFree=27287700/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=626.08 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6133 0 0 0 62606 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 626.08 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+702.301 s]
/proc/loadavg: 8.56 7.60 4.51 10/567 1276380
/proc/meminfo: memFree=27282088/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=684.5 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6138 0 0 0 68448 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 684.5 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+762.301 s]
/proc/loadavg: 8.40 7.74 4.75 9/567 1276389
/proc/meminfo: memFree=27282064/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=742.92 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6138 0 0 0 74290 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 742.92 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+822.309 s]
/proc/loadavg: 8.39 7.86 4.99 10/567 1276399
/proc/meminfo: memFree=27280268/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=801.43 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6139 0 0 0 80141 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 801.43 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+882.301 s]
/proc/loadavg: 8.31 7.95 5.20 9/567 1276408
/proc/meminfo: memFree=27279908/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=859.9 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6141 0 0 0 85988 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 859.9 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+942.301 s]
/proc/loadavg: 8.11 7.96 5.38 10/568 1276418
/proc/meminfo: memFree=27278864/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=918.35 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6141 0 0 0 91833 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 918.35 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+1002.3 s]
/proc/loadavg: 8.04 7.97 5.54 10/568 1276436
/proc/meminfo: memFree=27278752/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=976.82 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6141 0 0 0 97680 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 976.82 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 9/569 1276446
/proc/meminfo: memFree=27278656/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=55952 memory=29108 CPUtime=1035.27 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6141 0 0 0 103525 2 0 0 20 0 1 0 398715099 57294848 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 13988 7277 1492 2 0 6400 0
Current children cumulated CPU time: 1035.27 s
Current children cumulated vsize: 55952 KiB
Current children cumulated memory: 29108 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 10/569 1276456
/proc/meminfo: memFree=27278580/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29108 CPUtime=1093.69 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6148 0 0 0 109367 2 0 0 20 0 1 0 398715099 57434112 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7277 1492 2 0 6434 0
Current children cumulated CPU time: 1093.69 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29108 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 10/569 1276466
/proc/meminfo: memFree=27278436/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29108 CPUtime=1152.14 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6148 0 0 0 115211 3 0 0 20 0 1 0 398715099 57434112 7277 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7277 1492 2 0 6434 0
Current children cumulated CPU time: 1152.14 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29108 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 10/569 1276476
/proc/meminfo: memFree=27272308/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29184 CPUtime=1210.63 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6165 0 0 0 121060 3 0 0 20 0 1 0 398715099 57434112 7296 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7296 1492 2 0 6434 0
Current children cumulated CPU time: 1210.63 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29184 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 10/569 1276496
/proc/meminfo: memFree=27269064/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29336 CPUtime=1269.08 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6207 0 0 0 126905 3 0 0 20 0 1 0 398715099 57434112 7334 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7334 1492 2 0 6434 0
Current children cumulated CPU time: 1269.08 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29336 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 11/569 1276505
/proc/meminfo: memFree=27269584/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29336 CPUtime=1327.56 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6221 0 0 0 132753 3 0 0 20 0 1 0 398715099 57434112 7334 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7334 1492 2 0 6434 0
Current children cumulated CPU time: 1327.56 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29336 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.24 6.59 10/568 1276515
/proc/meminfo: memFree=27269516/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29336 CPUtime=1386.03 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6228 0 0 0 138600 3 0 0 20 0 1 0 398715099 57434112 7334 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7334 1492 2 0 6434 0
Current children cumulated CPU time: 1386.03 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29336 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 10/568 1276524
/proc/meminfo: memFree=27269540/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29336 CPUtime=1444.47 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6235 0 0 0 144444 3 0 0 20 0 1 0 398715099 57434112 7334 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7334 1492 2 0 6434 0
Current children cumulated CPU time: 1444.47 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29336 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 9/567 1276533
/proc/meminfo: memFree=27269452/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1502.87 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6245 0 0 0 150284 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1502.87 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 10/567 1276543
/proc/meminfo: memFree=27269432/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1561.33 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6252 0 0 0 156130 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1561.33 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 9/567 1276552
/proc/meminfo: memFree=27269440/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1619.82 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6259 0 0 0 161979 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1619.82 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 10/567 1276562
/proc/meminfo: memFree=27268624/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1678.2 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6272 0 0 0 167817 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1678.2 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 9/567 1276572
/proc/meminfo: memFree=27268848/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1736.72 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6279 0 0 0 173669 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1736.72 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.42 8.35 7.20 11/563 1276585
/proc/meminfo: memFree=27282108/32713960 swapFree=33554428/33554428
[pid=1276222] ppid=1276219 vsize=56088 memory=29348 CPUtime=1753.98 cores=2
/proc/1276222/stat : 1276222 (pigeonPurSampli) R 1276219 1276222 1276200 0 -1 4194304 6279 0 0 0 175395 3 0 0 20 0 1 0 398715099 57434112 7337 18446744073709551615 94504916516864 94504916520976 140734827727904 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94504918621440 94504918622212 94504921526272 140734827729424 140734827729537 140734827729537 140734827732961 0
/proc/1276222/statm: 14022 7337 1492 2 0 6434 0
Current children cumulated CPU time: 1753.98 s
Current children cumulated vsize: 56088 KiB
Current children cumulated memory: 29348 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 1276222 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1754 s, system=0.035528 s

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1754.04
CPU user time (s): 1754
CPU system time (s): 0.035528
CPU usage (%): 97.4429
Max. virtual memory (cumulated for all children) (KiB): 56088
Max. memory (cumulated for all children) (KiB): 29348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754
system time used= 0.035528
maximum resident set size= 29348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6294
page faults= 0
swaps= 0
block input operations= 1808
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 64869


# summary of solver processes directly reported to runsolver:
#   pid: 1276222
#   total CPU time (s): 1754.04
#   total CPU user time (s): 1754
#   total CPU system time (s): 0.035528

??? end of timestamper thread
runsolver used 16.3823 second user time and 20.521 second system time

The end
