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 (13565 MiB free)
  node distances:
     10  21
     21  10

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

running on 1 cores: 5

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


[startup+0.100989 s]*
/proc/loadavg: 0.40 0.08 0.14 9/569 1276275
/proc/meminfo: memFree=27329836/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=46188 memory=18352 CPUtime=0.08 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 3460 0 0 0 8 0 0 0 20 0 1 0 398715410 47296512 4588 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 2 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 11547 4588 1498 2 0 3959 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46188 KiB
Current children cumulated memory: 18352 KiB

[startup+0.223991 s]*
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27306672/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23104 CPUtime=0.19 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4627 0 0 0 18 1 0 0 20 0 1 0 398715410 51752960 5776 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5776 1498 2 0 5047 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23104 KiB

[startup+0.326992 s]*
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27304184/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23104 CPUtime=0.27 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4627 0 0 0 26 1 0 0 20 0 1 0 398715410 51752960 5776 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5776 1498 2 0 5047 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23104 KiB

[startup+0.709993 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27303360/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23104 CPUtime=0.59 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4628 0 0 0 58 1 0 0 20 0 1 0 398715410 51752960 5776 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5776 1498 2 0 5047 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23104 KiB

[startup+1.51099 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27302956/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23104 CPUtime=1.37 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4628 0 0 0 136 1 0 0 20 0 1 0 398715410 51752960 5776 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5776 1498 2 0 5047 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23104 KiB

[startup+3.11799 s]
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23104 CPUtime=2.93 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4633 0 0 0 292 1 0 0 20 0 1 0 398715410 51752960 5776 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5776 1498 2 0 5047 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23104 KiB

[startup+6.30099 s]
/proc/loadavg: 1.01 0.21 0.18 10/569 1276275
/proc/meminfo: memFree=27303040/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23368 CPUtime=6.04 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4668 0 0 0 603 1 0 0 20 0 1 0 398715410 51752960 5842 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5842 1498 2 0 5047 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23368 KiB

[startup+12.701 s]
/proc/loadavg: 1.57 0.34 0.22 10/569 1276275
/proc/meminfo: memFree=27300832/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23368 CPUtime=12.29 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4695 0 0 0 1228 1 0 0 20 0 1 0 398715410 51752960 5842 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5842 1498 2 0 5047 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23368 KiB

[startup+25.501 s]
/proc/loadavg: 2.99 0.72 0.35 11/569 1276275
/proc/meminfo: memFree=27300492/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50540 memory=23664 CPUtime=24.78 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4749 0 0 0 2477 1 0 0 20 0 1 0 398715410 51752960 5916 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12635 5916 1498 2 0 5047 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 50540 KiB
Current children cumulated memory: 23664 KiB

[startup+51.142 s]
/proc/loadavg: 4.85 1.34 0.56 11/569 1276283
/proc/meminfo: memFree=27296156/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50796 memory=24036 CPUtime=49.77 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4838 0 0 0 4976 1 0 0 20 0 1 0 398715410 52015104 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12699 6009 1498 2 0 5111 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 50796 KiB
Current children cumulated memory: 24036 KiB

[startup+102.301 s]
/proc/loadavg: 6.80 2.41 0.97 10/568 1276293
/proc/meminfo: memFree=27294168/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50796 memory=24036 CPUtime=99.68 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4848 0 0 0 9967 1 0 0 20 0 1 0 398715410 52015104 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12699 6009 1498 2 0 5111 0
Current children cumulated CPU time: 99.68 s
Current children cumulated vsize: 50796 KiB
Current children cumulated memory: 24036 KiB

[startup+162.302 s]
/proc/loadavg: 7.96 3.53 1.45 10/569 1276303
/proc/meminfo: memFree=27293940/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50796 memory=24036 CPUtime=158.2 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4853 0 0 0 15819 1 0 0 20 0 1 0 398715410 52015104 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12699 6009 1498 2 0 5111 0
Current children cumulated CPU time: 158.2 s
Current children cumulated vsize: 50796 KiB
Current children cumulated memory: 24036 KiB

[startup+222.302 s]
/proc/loadavg: 8.06 4.36 1.87 10/569 1276313
/proc/meminfo: memFree=27292768/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=216.69 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4855 0 0 0 21668 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 216.69 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+282.301 s]
/proc/loadavg: 8.55 5.19 2.31 10/569 1276322
/proc/meminfo: memFree=27292000/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=275.2 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4856 0 0 0 27519 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 275.2 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+342.301 s]
/proc/loadavg: 8.34 5.74 2.68 10/568 1276331
/proc/meminfo: memFree=27290260/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=333.68 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4863 0 0 0 33367 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 333.68 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.18 3.02 10/568 1276341
/proc/meminfo: memFree=27290184/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=392.17 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4863 0 0 0 39216 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 392.17 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+462.301 s]
/proc/loadavg: 8.17 6.54 3.35 10/567 1276350
/proc/meminfo: memFree=27287032/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=450.55 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4871 0 0 0 45054 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 450.55 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+522.303 s]
/proc/loadavg: 8.12 6.83 3.65 10/567 1276360
/proc/meminfo: memFree=27287640/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=508.99 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4871 0 0 0 50898 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 508.99 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 10/567 1276370
/proc/meminfo: memFree=27287104/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=567.5 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4871 0 0 0 56749 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 567.5 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+642.301 s]
/proc/loadavg: 8.33 7.33 4.22 13/567 1276373
/proc/meminfo: memFree=27287596/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=625.89 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4873 0 0 0 62588 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 625.89 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+702.301 s]
/proc/loadavg: 8.56 7.60 4.51 10/567 1276380
/proc/meminfo: memFree=27282144/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=684.35 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4875 0 0 0 68434 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 684.35 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+762.301 s]
/proc/loadavg: 8.40 7.74 4.75 10/567 1276389
/proc/meminfo: memFree=27282032/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=742.81 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4878 0 0 0 74280 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 742.81 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+822.301 s]
/proc/loadavg: 8.39 7.86 4.99 11/567 1276399
/proc/meminfo: memFree=27280196/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=801.3 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4886 0 0 0 80129 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 801.3 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+882.304 s]
/proc/loadavg: 8.31 7.95 5.20 10/567 1276408
/proc/meminfo: memFree=27279940/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=859.76 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4886 0 0 0 85975 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 859.76 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 KiB

[startup+942.301 s]
/proc/loadavg: 8.11 7.96 5.38 10/568 1276418
/proc/meminfo: memFree=27278912/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=50928 memory=24036 CPUtime=918.21 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4886 0 0 0 91820 1 0 0 20 0 1 0 398715410 52150272 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12732 6009 1498 2 0 5144 0
Current children cumulated CPU time: 918.21 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 24036 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=1276270] ppid=1276269 vsize=51068 memory=24036 CPUtime=976.68 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4889 0 0 0 97667 1 0 0 20 0 1 0 398715410 52293632 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6009 1498 2 0 5179 0
Current children cumulated CPU time: 976.68 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 24036 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 10/569 1276446
/proc/meminfo: memFree=27278728/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=24036 CPUtime=1035.09 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4891 0 0 0 103508 1 0 0 20 0 1 0 398715410 52293632 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6009 1498 2 0 5179 0
Current children cumulated CPU time: 1035.09 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 24036 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=1276270] ppid=1276269 vsize=51068 memory=24036 CPUtime=1093.5 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4897 0 0 0 109349 1 0 0 20 0 1 0 398715410 52293632 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6009 1498 2 0 5179 0
Current children cumulated CPU time: 1093.5 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 24036 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=1276270] ppid=1276269 vsize=51068 memory=24036 CPUtime=1151.94 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4897 0 0 0 115193 1 0 0 20 0 1 0 398715410 52293632 6009 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6009 1498 2 0 5179 0
Current children cumulated CPU time: 1151.94 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 24036 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 10/569 1276476
/proc/meminfo: memFree=27272356/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=24372 CPUtime=1210.37 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4913 0 0 0 121036 1 0 0 20 0 1 0 398715410 52293632 6093 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6093 1498 2 0 5179 0
Current children cumulated CPU time: 1210.37 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 24372 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 10/569 1276496
/proc/meminfo: memFree=27269140/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1268.81 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4958 0 0 0 126880 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1268.81 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 10/569 1276505
/proc/meminfo: memFree=27269624/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1327.35 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4979 0 0 0 132734 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1327.35 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 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=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1385.89 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4986 0 0 0 138588 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1385.89 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 10/568 1276524
/proc/meminfo: memFree=27269532/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1444.42 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 4993 0 0 0 144441 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1444.42 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 10/567 1276533
/proc/meminfo: memFree=27269444/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1502.94 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5000 0 0 0 150293 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1502.94 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 10/567 1276543
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1561.51 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5007 0 0 0 156150 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1561.51 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 10/567 1276552
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1620.07 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5014 0 0 0 162006 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1620.07 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 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=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1678.61 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5021 0 0 0 167860 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1678.61 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 10/567 1276572
/proc/meminfo: memFree=27268952/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1737.18 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5028 0 0 0 173717 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1737.18 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 7.98 8.26 7.18 5/528 1276594
/proc/meminfo: memFree=27363912/32713960 swapFree=33554428/33554428
[pid=1276270] ppid=1276269 vsize=51068 memory=26028 CPUtime=1754.48 cores=5
/proc/1276270/stat : 1276270 (pigeonPurSampli) R 1276269 1276270 1276246 0 -1 4194304 5028 0 0 0 175447 1 0 0 20 0 1 0 398715410 52293632 6507 18446744073709551615 94578950012928 94578950017040 140735652475088 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 1 0 0 94578952117504 94578952118276 94578955841536 140735652479504 140735652479617 140735652479617 140735652483041 0
/proc/1276270/statm: 12767 6507 1498 2 0 5179 0
Current children cumulated CPU time: 1754.48 s
Current children cumulated vsize: 51068 KiB
Current children cumulated memory: 26028 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 1276270 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1754.52 s, system=0.019621 s

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1754.54
CPU user time (s): 1754.52
CPU system time (s): 0.019621
CPU usage (%): 97.4709
Max. virtual memory (cumulated for all children) (KiB): 51068
Max. memory (cumulated for all children) (KiB): 26028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.52
system time used= 0.019621
maximum resident set size= 26028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5031
page faults= 0
swaps= 0
block input operations= 1320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 54448


# summary of solver processes directly reported to runsolver:
#   pid: 1276270
#   total CPU time (s): 1754.54
#   total CPU user time (s): 1754.52
#   total CPU system time (s): 0.019621

??? end of timestamper thread
runsolver used 15.5684 second user time and 20.1533 second system time

The end
