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

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

running on 1 cores: 3

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


[startup+0.101234 s]*
/proc/loadavg: 0.40 0.08 0.14 8/569 1276275
/proc/meminfo: memFree=27330956/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=45420 memory=17344 CPUtime=0.07 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 3216 0 0 0 7 0 0 0 20 0 1 0 398715409 46510080 4336 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 11355 4336 1470 2 0 3767 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45420 KiB
Current children cumulated memory: 17344 KiB

[startup+0.219235 s]*
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27307792/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=0.17 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4074 0 0 0 17 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+0.322237 s]*
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27304184/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=0.26 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4074 0 0 0 26 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+0.701238 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27303360/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=0.57 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4075 0 0 0 57 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+1.50124 s]
/proc/loadavg: 0.40 0.08 0.14 9/569 1276275
/proc/meminfo: memFree=27302956/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=1.35 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4075 0 0 0 135 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+3.12524 s]
/proc/loadavg: 0.40 0.08 0.14 9/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=2.93 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4080 0 0 0 293 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+6.30124 s]
/proc/loadavg: 1.01 0.21 0.18 9/569 1276275
/proc/meminfo: memFree=27303040/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=20776 CPUtime=6.02 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4097 0 0 0 602 0 0 0 20 0 1 0 398715409 49655808 5194 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5194 1470 2 0 4535 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 20776 KiB

[startup+12.7012 s]
/proc/loadavg: 1.57 0.34 0.22 10/569 1276275
/proc/meminfo: memFree=27300832/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21100 CPUtime=12.27 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4163 0 0 0 1227 0 0 0 20 0 1 0 398715409 49655808 5275 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5275 1486 2 0 4535 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21100 KiB

[startup+25.5013 s]
/proc/loadavg: 2.99 0.72 0.35 10/569 1276275
/proc/meminfo: memFree=27300492/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21364 CPUtime=24.74 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4206 0 0 0 2474 0 0 0 20 0 1 0 398715409 49655808 5341 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5341 1486 2 0 4535 0
Current children cumulated CPU time: 24.74 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21364 KiB

[startup+51.1252 s]
/proc/loadavg: 4.85 1.34 0.56 9/569 1276283
/proc/meminfo: memFree=27296156/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21364 CPUtime=49.69 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4212 0 0 0 4969 0 0 0 20 0 1 0 398715409 49655808 5341 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5341 1486 2 0 4535 0
Current children cumulated CPU time: 49.69 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21364 KiB

[startup+102.306 s]
/proc/loadavg: 6.80 2.41 0.97 9/568 1276293
/proc/meminfo: memFree=27294168/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21364 CPUtime=99.54 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4221 0 0 0 9953 1 0 0 20 0 1 0 398715409 49655808 5341 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5341 1486 2 0 4535 0
Current children cumulated CPU time: 99.54 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21364 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 3.53 1.45 10/569 1276303
/proc/meminfo: memFree=27293940/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21548 CPUtime=157.98 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4547 0 0 0 15797 1 0 0 20 0 1 0 398715409 49655808 5387 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5387 1486 2 0 4535 0
Current children cumulated CPU time: 157.98 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21548 KiB

[startup+222.301 s]
/proc/loadavg: 8.06 4.36 1.87 9/569 1276313
/proc/meminfo: memFree=27292768/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21548 CPUtime=216.43 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4553 0 0 0 21642 1 0 0 20 0 1 0 398715409 49655808 5387 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5387 1486 2 0 4535 0
Current children cumulated CPU time: 216.43 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21548 KiB

[startup+282.301 s]
/proc/loadavg: 8.55 5.19 2.31 9/569 1276322
/proc/meminfo: memFree=27292000/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21548 CPUtime=274.86 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4557 0 0 0 27485 1 0 0 20 0 1 0 398715409 49655808 5387 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5387 1486 2 0 4535 0
Current children cumulated CPU time: 274.86 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21548 KiB

[startup+342.301 s]
/proc/loadavg: 8.34 5.74 2.68 9/568 1276331
/proc/meminfo: memFree=27290260/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21628 CPUtime=333.3 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4642 0 0 0 33329 1 0 0 20 0 1 0 398715409 49655808 5407 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5407 1486 2 0 4535 0
Current children cumulated CPU time: 333.3 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21628 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.18 3.02 9/568 1276341
/proc/meminfo: memFree=27290184/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21628 CPUtime=391.73 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 4699 0 0 0 39172 1 0 0 20 0 1 0 398715409 49655808 5407 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5407 1486 2 0 4535 0
Current children cumulated CPU time: 391.73 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21628 KiB

[startup+462.301 s]
/proc/loadavg: 8.17 6.54 3.35 9/567 1276350
/proc/meminfo: memFree=27287032/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48748 memory=21628 CPUtime=450.13 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 2154533 0 0 0 43774 1239 0 0 20 0 1 0 398715409 49917952 5407 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5407 1486 2 0 4599 0
Current children cumulated CPU time: 450.13 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 21628 KiB

[startup+522.301 s]
/proc/loadavg: 8.12 6.83 3.65 11/567 1276360
/proc/meminfo: memFree=27287640/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48748 memory=21628 CPUtime=508.58 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 5101123 0 0 0 47960 2898 0 0 20 0 1 0 398715409 49917952 5407 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5407 1486 2 0 4599 0
Current children cumulated CPU time: 508.58 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 21628 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 9/567 1276370
/proc/meminfo: memFree=27287104/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21652 CPUtime=567.09 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346798 0 0 0 53110 3599 0 0 20 0 1 0 398715409 49655808 5413 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5413 1486 2 0 4535 0
Current children cumulated CPU time: 567.09 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21652 KiB

[startup+642.301 s]
/proc/loadavg: 8.33 7.33 4.22 11/567 1276373
/proc/meminfo: memFree=27287596/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21700 CPUtime=625.49 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346830 0 0 0 58950 3599 0 0 20 0 1 0 398715409 49655808 5425 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5425 1486 2 0 4535 0
Current children cumulated CPU time: 625.49 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21700 KiB

[startup+702.301 s]
/proc/loadavg: 8.56 7.60 4.51 9/567 1276380
/proc/meminfo: memFree=27282144/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21700 CPUtime=683.91 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346852 0 0 0 64791 3600 0 0 20 0 1 0 398715409 49655808 5425 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5425 1486 2 0 4535 0
Current children cumulated CPU time: 683.91 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21700 KiB

[startup+762.3 s]
/proc/loadavg: 8.40 7.74 4.75 9/567 1276389
/proc/meminfo: memFree=27282032/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21700 CPUtime=742.32 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346876 0 0 0 70632 3600 0 0 20 0 1 0 398715409 49655808 5425 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5425 1486 2 0 4535 0
Current children cumulated CPU time: 742.32 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21700 KiB

[startup+822.301 s]
/proc/loadavg: 8.39 7.86 4.99 9/567 1276399
/proc/meminfo: memFree=27280196/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21700 CPUtime=800.77 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346901 0 0 0 76477 3600 0 0 20 0 1 0 398715409 49655808 5425 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5425 1486 2 0 4535 0
Current children cumulated CPU time: 800.77 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21700 KiB

[startup+882.306 s]
/proc/loadavg: 8.31 7.95 5.20 9/567 1276408
/proc/meminfo: memFree=27279940/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21708 CPUtime=859.21 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346920 0 0 0 82321 3600 0 0 20 0 1 0 398715409 49655808 5427 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5427 1486 2 0 4535 0
Current children cumulated CPU time: 859.21 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21708 KiB

[startup+942.301 s]
/proc/loadavg: 8.11 7.96 5.38 9/568 1276418
/proc/meminfo: memFree=27278912/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21708 CPUtime=917.62 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346936 0 0 0 88162 3600 0 0 20 0 1 0 398715409 49655808 5427 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5427 1486 2 0 4535 0
Current children cumulated CPU time: 917.62 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21708 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=1276266] ppid=1276265 vsize=48492 memory=21708 CPUtime=976.06 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346955 0 0 0 94006 3600 0 0 20 0 1 0 398715409 49655808 5427 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5427 1486 2 0 4535 0
Current children cumulated CPU time: 976.06 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21708 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 9/569 1276446
/proc/meminfo: memFree=27278728/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21716 CPUtime=1034.55 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6346977 0 0 0 99854 3601 0 0 20 0 1 0 398715409 49655808 5429 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5429 1486 2 0 4535 0
Current children cumulated CPU time: 1034.55 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21716 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 10/569 1276456
/proc/meminfo: memFree=27278636/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21748 CPUtime=1092.99 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6347007 0 0 0 105698 3601 0 0 20 0 1 0 398715409 49655808 5437 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5437 1486 2 0 4535 0
Current children cumulated CPU time: 1092.99 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21748 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 10/569 1276466
/proc/meminfo: memFree=27278460/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21748 CPUtime=1151.47 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6347033 0 0 0 111546 3601 0 0 20 0 1 0 398715409 49655808 5437 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5437 1486 2 0 4535 0
Current children cumulated CPU time: 1151.47 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21748 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 9/569 1276476
/proc/meminfo: memFree=27272356/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=21748 CPUtime=1209.94 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 6347065 0 0 0 117393 3601 0 0 20 0 1 0 398715409 49655808 5437 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5437 1486 2 0 4535 0
Current children cumulated CPU time: 1209.94 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 21748 KiB

[startup+1302.31 s]
/proc/loadavg: 8.31 8.31 6.38 10/569 1276496
/proc/meminfo: memFree=27269140/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1268.38 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 7326835 0 0 0 122693 4145 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1268.38 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 9/569 1276505
/proc/meminfo: memFree=27269624/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1326.89 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 15157507 0 0 0 124150 8539 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1326.89 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 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=1276266] ppid=1276265 vsize=48748 memory=23132 CPUtime=1385.42 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 22790837 0 0 0 125689 12853 0 0 20 0 1 0 398715409 49917952 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5783 1486 2 0 4599 0
Current children cumulated CPU time: 1385.42 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 23132 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 9/568 1276524
/proc/meminfo: memFree=27269532/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48748 memory=23132 CPUtime=1443.92 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 30620941 0 0 0 127072 17320 0 0 20 0 1 0 398715409 49917952 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5783 1486 2 0 4599 0
Current children cumulated CPU time: 1443.92 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 23132 KiB

[startup+1542.31 s]
/proc/loadavg: 8.13 8.19 6.78 12/567 1276533
/proc/meminfo: memFree=27269444/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48748 memory=23132 CPUtime=1502.38 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 38395909 0 0 0 128526 21712 0 0 20 0 1 0 398715409 49917952 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5783 1486 2 0 4599 0
Current children cumulated CPU time: 1502.38 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 23132 KiB

[startup+1602.31 s]
/proc/loadavg: 8.18 8.20 6.87 10/567 1276543
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1560.92 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 45308751 0 0 0 130453 25639 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1560.92 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 9/567 1276552
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48748 memory=23132 CPUtime=1619.43 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 51699798 0 0 0 132652 29291 0 0 20 0 1 0 398715409 49917952 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12187 5783 1486 2 0 4599 0
Current children cumulated CPU time: 1619.43 s
Current children cumulated vsize: 48748 KiB
Current children cumulated memory: 23132 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 10/567 1276562
/proc/meminfo: memFree=27268868/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1677.91 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 59496701 0 0 0 134104 33687 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1677.91 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 9/567 1276572
/proc/meminfo: memFree=27268952/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1736.46 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 66956721 0 0 0 135712 37934 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1736.46 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 7.98 8.26 7.18 4/528 1276594
/proc/meminfo: memFree=27363912/32713960 swapFree=33554428/33554428
[pid=1276266] ppid=1276265 vsize=48492 memory=23132 CPUtime=1753.75 cores=3
/proc/1276266/stat : 1276266 (pigeonPurSampli) R 1276265 1276266 1276253 0 -1 4194304 69171727 0 0 0 136183 39192 0 0 20 0 1 0 398715409 49655808 5783 18446744073709551615 94584402235392 94584402239504 140729245585344 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94584404339968 94584404340740 94584425480192 140729245590032 140729245590145 140729245590145 140729245593569 0
/proc/1276266/statm: 12123 5783 1486 2 0 4535 0
Current children cumulated CPU time: 1753.75 s
Current children cumulated vsize: 48492 KiB
Current children cumulated memory: 23132 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 1276266 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1361.85 s, system=391.926 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): 1753.78
CPU user time (s): 1361.85
CPU system time (s): 391.926
CPU usage (%): 97.4294
Max. virtual memory (cumulated for all children) (KiB): 48748
Max. memory (cumulated for all children) (KiB): 23132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1361.85
system time used= 391.926
maximum resident set size= 23132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69172214
page faults= 0
swaps= 0
block input operations= 1088
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 57444


# summary of solver processes directly reported to runsolver:
#   pid: 1276266
#   total CPU time (s): 1753.78
#   total CPU user time (s): 1361.85
#   total CPU system time (s): 391.926

??? end of timestamper thread
runsolver used 15.7751 second user time and 20.4806 second system time

The end
