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

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

running on 1 cores: 0

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


[startup+0.1006 s]*
/proc/loadavg: 0.00 0.00 0.11 2/512 1276196
/proc/meminfo: memFree=27432480/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=0.07 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2803 0 0 0 7 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+0.226707 s]*
/proc/loadavg: 0.00 0.00 0.11 7/535 1276229
/proc/meminfo: memFree=27423400/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=0.17 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2804 0 0 0 17 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+0.320598 s]*
/proc/loadavg: 0.00 0.00 0.11 6/544 1276240
/proc/meminfo: memFree=27384560/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=0.24 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2804 0 0 0 24 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+0.700573 s]
/proc/loadavg: 0.00 0.00 0.11 6/544 1276240
/proc/meminfo: memFree=27367564/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=0.56 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2804 0 0 0 56 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+1.50057 s]
/proc/loadavg: 0.00 0.00 0.11 6/544 1276240
/proc/meminfo: memFree=27366536/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=1.34 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2808 0 0 0 134 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+3.12368 s]
/proc/loadavg: 0.40 0.08 0.14 6/544 1276240
/proc/meminfo: memFree=27366484/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15588 CPUtime=2.91 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2813 0 0 0 291 0 0 0 20 0 1 0 398715077 44429312 3897 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3897 1469 2 0 3259 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15588 KiB

[startup+6.30057 s]
/proc/loadavg: 0.40 0.08 0.14 9/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15912 CPUtime=6.01 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2819 0 0 0 601 0 0 0 20 0 1 0 398715077 44429312 3978 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3978 1485 2 0 3259 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15912 KiB

[startup+12.7006 s]
/proc/loadavg: 1.57 0.34 0.22 9/569 1276275
/proc/meminfo: memFree=27301916/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15912 CPUtime=12.26 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2825 0 0 0 1225 1 0 0 20 0 1 0 398715077 44429312 3978 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3978 1485 2 0 3259 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15912 KiB

[startup+25.5006 s]
/proc/loadavg: 2.56 0.60 0.31 9/569 1276275
/proc/meminfo: memFree=27300616/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15912 CPUtime=24.73 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2833 0 0 0 2472 1 0 0 20 0 1 0 398715077 44429312 3978 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3978 1485 2 0 3259 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15912 KiB

[startup+51.1256 s]
/proc/loadavg: 4.49 1.21 0.52 9/569 1276283
/proc/meminfo: memFree=27296568/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=15912 CPUtime=49.65 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2873 0 0 0 4964 1 0 0 20 0 1 0 398715077 44429312 3978 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 3978 1485 2 0 3259 0
Current children cumulated CPU time: 49.65 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 15912 KiB

[startup+102.301 s]
/proc/loadavg: 6.80 2.41 0.97 9/568 1276285
/proc/meminfo: memFree=27295528/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=99.48 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2880 0 0 0 9947 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 99.48 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+162.301 s]
/proc/loadavg: 7.96 3.53 1.45 10/569 1276295
/proc/meminfo: memFree=27294808/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=157.89 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2883 0 0 0 15788 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 157.89 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+222.307 s]
/proc/loadavg: 8.06 4.36 1.87 9/569 1276305
/proc/meminfo: memFree=27292752/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=216.31 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2886 0 0 0 21630 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 216.31 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+282.301 s]
/proc/loadavg: 8.55 5.19 2.31 9/569 1276314
/proc/meminfo: memFree=27292848/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=274.71 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2889 0 0 0 27470 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 274.71 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+342.306 s]
/proc/loadavg: 8.34 5.74 2.68 9/568 1276323
/proc/meminfo: memFree=27291784/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=333.13 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2890 0 0 0 33312 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 333.13 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=391.55 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2892 0 0 0 39154 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 391.55 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=449.89 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2893 0 0 0 44988 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 449.89 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=508.17 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2898 0 0 0 50816 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 508.17 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=566.57 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2900 0 0 0 56656 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 566.57 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=624.92 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2903 0 0 0 62491 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 624.92 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+702.301 s]
/proc/loadavg: 8.56 7.60 4.51 9/567 1276380
/proc/meminfo: memFree=27282088/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=683.25 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2907 0 0 0 68324 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 683.25 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=741.62 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2908 0 0 0 74161 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 741.62 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+822.306 s]
/proc/loadavg: 8.39 7.86 4.99 9/567 1276399
/proc/meminfo: memFree=27280268/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=800.04 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2909 0 0 0 80003 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 800.04 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=858.39 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2913 0 0 0 85838 1 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 858.39 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+942.307 s]
/proc/loadavg: 8.11 7.96 5.38 9/568 1276418
/proc/meminfo: memFree=27278864/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=916.73 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2915 0 0 0 91671 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 916.73 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+1002.3 s]
/proc/loadavg: 8.04 7.97 5.54 9/568 1276436
/proc/meminfo: memFree=27278752/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=975.15 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2917 0 0 0 97513 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 975.15 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 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=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=1033.55 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2919 0 0 0 103353 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 1033.55 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 9/569 1276456
/proc/meminfo: memFree=27278580/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=1091.82 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2921 0 0 0 109180 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 1091.82 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 9/569 1276466
/proc/meminfo: memFree=27278436/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=1150.18 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2922 0 0 0 115016 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 1150.18 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 9/569 1276476
/proc/meminfo: memFree=27272308/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16176 CPUtime=1208.57 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2936 0 0 0 120855 2 0 0 20 0 1 0 398715077 44429312 4044 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4044 1485 2 0 3259 0
Current children cumulated CPU time: 1208.57 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16176 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 9/569 1276496
/proc/meminfo: memFree=27269064/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1266.88 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2948 0 0 0 126686 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1266.88 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 9/569 1276505
/proc/meminfo: memFree=27269584/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1325.25 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2954 0 0 0 132523 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1325.25 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.24 6.59 9/568 1276515
/proc/meminfo: memFree=27269516/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1383.66 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2958 0 0 0 138364 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1383.66 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 9/568 1276524
/proc/meminfo: memFree=27269540/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1442.04 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2963 0 0 0 144202 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1442.04 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 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=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1500.35 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2965 0 0 0 150033 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1500.35 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 9/567 1276543
/proc/meminfo: memFree=27269432/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1558.74 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2972 0 0 0 155872 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1558.74 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 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=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1617.1 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2975 0 0 0 161708 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1617.1 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 9/567 1276562
/proc/meminfo: memFree=27268624/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1675.34 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2979 0 0 0 167532 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1675.34 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 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=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1733.71 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2982 0 0 0 173369 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1733.71 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.42 8.35 7.20 9/567 1276582
/proc/meminfo: memFree=27268916/32713960 swapFree=33554428/33554428
[pid=1276195] ppid=1276194 vsize=43388 memory=16368 CPUtime=1750.97 cores=0
/proc/1276195/stat : 1276195 (pigeonPurSampli) R 1276194 1276195 1276188 0 -1 4194304 2985 0 0 0 175095 2 0 0 20 0 1 0 398715077 44429312 4092 18446744073709551615 94770043686912 94770043691024 140726394184960 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 1 0 0 94770045791488 94770045792260 94770050166784 140726394192398 140726394192513 140726394192513 140726394195937 0
/proc/1276195/statm: 10847 4092 1485 2 0 3259 0
Current children cumulated CPU time: 1750.97 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 16368 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 1276195 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1750.99 s, system=0.02431 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): 1751.01
CPU user time (s): 1750.99
CPU system time (s): 0.02431
CPU usage (%): 97.2751
Max. virtual memory (cumulated for all children) (KiB): 43388
Max. memory (cumulated for all children) (KiB): 16368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.99
system time used= 0.02431
maximum resident set size= 16368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2987
page faults= 0
swaps= 0
block input operations= 544
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 90096


# summary of solver processes directly reported to runsolver:
#   pid: 1276195
#   total CPU time (s): 1751.01
#   total CPU user time (s): 1750.99
#   total CPU system time (s): 0.02431

??? end of timestamper thread
runsolver used 16.4797 second user time and 21.1919 second system time

The end
