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

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

running on 1 cores: 1

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


[startup+0.11048 s]*
/proc/loadavg: 0.00 0.00 0.11 9/544 1276240
/proc/meminfo: memFree=27378192/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=0.05 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2295 0 0 0 5 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+0.217518 s]*
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27368680/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=0.15 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2297 0 0 0 15 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+0.323473 s]*
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27367564/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=0.24 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2297 0 0 0 24 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+0.708473 s]
/proc/loadavg: 0.00 0.00 0.11 8/544 1276240
/proc/meminfo: memFree=27366492/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=0.57 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2298 0 0 0 57 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+1.50047 s]
/proc/loadavg: 0.00 0.00 0.11 9/544 1276240
/proc/meminfo: memFree=27366536/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=1.34 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2314 0 0 0 134 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+3.12348 s]
/proc/loadavg: 0.40 0.08 0.14 9/544 1276241
/proc/meminfo: memFree=27366484/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=13688 CPUtime=2.92 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2333 0 0 0 292 0 0 0 20 0 1 0 398715101 42594304 3422 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3422 1457 2 0 2811 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 13688 KiB

[startup+6.30249 s]
/proc/loadavg: 0.40 0.08 0.14 12/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=6.02 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2367 0 0 0 602 0 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+12.7035 s]
/proc/loadavg: 1.57 0.34 0.22 12/569 1276275
/proc/meminfo: memFree=27301916/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=12.27 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2371 0 0 0 1227 0 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+25.5005 s]
/proc/loadavg: 2.56 0.60 0.31 12/569 1276275
/proc/meminfo: memFree=27300616/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=24.74 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2375 0 0 0 2474 0 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 24.74 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+51.1235 s]
/proc/loadavg: 4.49 1.21 0.52 13/569 1276283
/proc/meminfo: memFree=27296568/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=49.71 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2380 0 0 0 4971 0 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 49.71 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+102.302 s]
/proc/loadavg: 6.80 2.41 0.97 13/568 1276285
/proc/meminfo: memFree=27295528/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=99.62 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2390 0 0 0 9961 1 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 99.62 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 3.53 1.45 14/569 1276295
/proc/meminfo: memFree=27294808/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=158.05 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2403 0 0 0 15804 1 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 158.05 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+222.3 s]
/proc/loadavg: 8.06 4.36 1.87 13/569 1276305
/proc/meminfo: memFree=27292752/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14012 CPUtime=216.47 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2411 0 0 0 21646 1 0 0 20 0 1 0 398715101 42594304 3503 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3503 1473 2 0 2811 0
Current children cumulated CPU time: 216.47 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14012 KiB

[startup+282.3 s]
/proc/loadavg: 8.55 5.19 2.31 12/569 1276314
/proc/meminfo: memFree=27292848/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=274.92 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2420 0 0 0 27491 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 274.92 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+342.3 s]
/proc/loadavg: 8.34 5.74 2.68 14/568 1276323
/proc/meminfo: memFree=27291784/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=333.37 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2434 0 0 0 33336 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 333.37 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+402.3 s]
/proc/loadavg: 8.23 6.18 3.02 13/568 1276333
/proc/meminfo: memFree=27291188/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=391.86 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2443 0 0 0 39185 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 391.86 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+462.3 s]
/proc/loadavg: 8.17 6.54 3.35 13/567 1276342
/proc/meminfo: memFree=27288200/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=450.25 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2449 0 0 0 45024 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 450.25 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+522.3 s]
/proc/loadavg: 8.12 6.83 3.65 14/567 1276352
/proc/meminfo: memFree=27288172/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=508.65 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2461 0 0 0 50864 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 508.65 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+582.3 s]
/proc/loadavg: 8.27 7.10 3.94 13/567 1276362
/proc/meminfo: memFree=27287936/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=567.12 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2468 0 0 0 56711 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 567.12 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+642.3 s]
/proc/loadavg: 8.33 7.33 4.22 14/567 1276371
/proc/meminfo: memFree=27287700/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14276 CPUtime=625.52 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2477 0 0 0 62551 1 0 0 20 0 1 0 398715101 42594304 3569 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3569 1473 2 0 2811 0
Current children cumulated CPU time: 625.52 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14276 KiB

[startup+702.3 s]
/proc/loadavg: 8.56 7.60 4.51 13/567 1276380
/proc/meminfo: memFree=27282088/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14540 CPUtime=683.87 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2486 0 0 0 68386 1 0 0 20 0 1 0 398715101 42594304 3635 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3635 1473 2 0 2811 0
Current children cumulated CPU time: 683.87 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14540 KiB

[startup+762.302 s]
/proc/loadavg: 8.40 7.74 4.75 11/567 1276389
/proc/meminfo: memFree=27282064/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14540 CPUtime=742.18 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2500 0 0 0 74217 1 0 0 20 0 1 0 398715101 42594304 3635 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3635 1473 2 0 2811 0
Current children cumulated CPU time: 742.18 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14540 KiB

[startup+822.3 s]
/proc/loadavg: 8.39 7.86 4.99 14/567 1276399
/proc/meminfo: memFree=27280268/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14540 CPUtime=800.58 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2512 0 0 0 80057 1 0 0 20 0 1 0 398715101 42594304 3635 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3635 1473 2 0 2811 0
Current children cumulated CPU time: 800.58 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14540 KiB

[startup+882.3 s]
/proc/loadavg: 8.31 7.95 5.20 12/567 1276408
/proc/meminfo: memFree=27279908/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=41596 memory=14540 CPUtime=858.94 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2518 0 0 0 85893 1 0 0 20 0 1 0 398715101 42594304 3635 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10399 3635 1473 2 0 2811 0
Current children cumulated CPU time: 858.94 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 14540 KiB

[startup+942.3 s]
/proc/loadavg: 8.11 7.96 5.38 13/568 1276418
/proc/meminfo: memFree=27278864/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=15596 CPUtime=917.33 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2787 0 0 0 91732 1 0 0 20 0 1 0 398715101 43380736 3899 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 3899 1473 2 0 3003 0
Current children cumulated CPU time: 917.33 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15596 KiB

[startup+1002.3 s]
/proc/loadavg: 8.04 7.97 5.54 13/568 1276436
/proc/meminfo: memFree=27278752/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=15596 CPUtime=975.79 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2787 0 0 0 97577 2 0 0 20 0 1 0 398715101 43380736 3899 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 3899 1473 2 0 3003 0
Current children cumulated CPU time: 975.79 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15596 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 13/569 1276446
/proc/meminfo: memFree=27278656/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=15596 CPUtime=1034.2 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2789 0 0 0 103418 2 0 0 20 0 1 0 398715101 43380736 3899 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 3899 1473 2 0 3003 0
Current children cumulated CPU time: 1034.2 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15596 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 13/569 1276456
/proc/meminfo: memFree=27278580/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=15596 CPUtime=1092.56 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2789 0 0 0 109254 2 0 0 20 0 1 0 398715101 43380736 3899 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 3899 1473 2 0 3003 0
Current children cumulated CPU time: 1092.56 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15596 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 14/569 1276466
/proc/meminfo: memFree=27278436/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=15596 CPUtime=1150.93 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2789 0 0 0 115091 2 0 0 20 0 1 0 398715101 43380736 3899 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 3899 1473 2 0 3003 0
Current children cumulated CPU time: 1150.93 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 15596 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 14/569 1276476
/proc/meminfo: memFree=27272308/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17356 CPUtime=1209.32 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2802 0 0 0 120930 2 0 0 20 0 1 0 398715101 43380736 4339 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4339 1473 2 0 3003 0
Current children cumulated CPU time: 1209.32 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17356 KiB

[startup+1302.31 s]
/proc/loadavg: 8.31 8.31 6.38 13/569 1276496
/proc/meminfo: memFree=27269064/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17356 CPUtime=1267.69 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2811 0 0 0 126767 2 0 0 20 0 1 0 398715101 43380736 4339 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4339 1473 2 0 3003 0
Current children cumulated CPU time: 1267.69 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17356 KiB

[startup+1362.3 s]
/proc/loadavg: 8.17 8.26 6.49 14/569 1276505
/proc/meminfo: memFree=27269584/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1326.17 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2817 0 0 0 132615 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1326.17 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.24 6.59 13/568 1276515
/proc/meminfo: memFree=27269516/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1384.66 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2821 0 0 0 138464 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1384.66 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 12/568 1276524
/proc/meminfo: memFree=27269540/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1443.17 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2821 0 0 0 144315 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1443.17 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 13/567 1276533
/proc/meminfo: memFree=27269452/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1501.65 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2823 0 0 0 150163 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1501.65 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 14/567 1276543
/proc/meminfo: memFree=27269432/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1560.17 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2825 0 0 0 156015 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1560.17 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 13/567 1276552
/proc/meminfo: memFree=27269440/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42364 memory=17536 CPUtime=1618.66 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 2827 0 0 0 161864 2 0 0 20 0 1 0 398715101 43380736 4384 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10591 4384 1473 2 0 3003 0
Current children cumulated CPU time: 1618.66 s
Current children cumulated vsize: 42364 KiB
Current children cumulated memory: 17536 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 12/567 1276562
/proc/meminfo: memFree=27268624/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42792 memory=17612 CPUtime=1677.11 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 3016 0 0 0 167709 2 0 0 20 0 1 0 398715101 43819008 4403 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10698 4403 1473 2 0 3110 0
Current children cumulated CPU time: 1677.11 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 17612 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 12/567 1276572
/proc/meminfo: memFree=27268848/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42792 memory=17864 CPUtime=1735.63 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 3041 0 0 0 173561 2 0 0 20 0 1 0 398715101 43819008 4466 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10698 4466 1473 2 0 3110 0
Current children cumulated CPU time: 1735.63 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 17864 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.42 8.35 7.20 13/559 1276585
/proc/meminfo: memFree=27283408/32713960 swapFree=33554428/33554428
[pid=1276237] ppid=1276235 vsize=42792 memory=17864 CPUtime=1752.92 cores=1
/proc/1276237/stat : 1276237 (pigeonPurSampli) R 1276235 1276237 1276225 0 -1 4194304 3044 0 0 0 175290 2 0 0 20 0 1 0 398715101 43819008 4466 18446744073709551615 94288558915584 94288558919696 140735534135440 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 4 0 0 94288561020160 94288561020932 94288573718528 140735534137872 140735534137985 140735534137985 140735534141409 0
/proc/1276237/statm: 10698 4466 1473 2 0 3110 0
Current children cumulated CPU time: 1752.92 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 17864 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15] -> ph4-3_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, -18, -20, -21, -23, -24, -25, -26, -27, -28, -29, -31, -32, 33, -34, -35, -37, -38, -39, 40, -41, -42, 43, 44, 46, -47, -48, -49, 52, -54, -56, 57, -58, -59, -60, -61, -64, -65, -67, -68, -69, -71, -73, -74, -76, 77, 80, 82, 83, -84, -85, 86, -87] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, -18, -20, -21, -23, -24, -25, -26, -27, -28, -29, -31, -32, 33, -34, -35, -37, -38, -39, 40, -41, -42, 43, 44, 46, -47, -48, -49, 52, -54, -56, 57, -58, -59, -60, -61, -64, -65, -67, -68, -69, -71, -73, -74, 76, 77, 80, -82, 83, 84, -85, 86, -87, -89] -> ph3-2_1 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, -18, -20, -21, -23, -24, -25, -26, -27, -28, -29, -31, -32, 33, -34, -35, -37, -38, -39, 40, -41, -42, 43, 44, 46, -47, -48, -49, 52, -54, -56, 57, -58, -59, -60, -61, -64, -65, -67, -68, -69, -71, -73, 74, -76, 77, -80, 82, 83, 84, 85, 86, 87] -> ph3-2_2 

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, 16, -17, -18, -20, -21, -23, -24, -25, -26, -27, -28, -29, -31, -32, 33, -34, -35, -37, -38, -39, 40, -41, -42, 43, 44, 46, -47, -48, -49, 52, -54, -56, 57, -58, -59, -60, -61, -64, -65, -67, -68, -69, -71, -73, 74, 76, 77, -80, 82, 83, -84, 85, 86, -87] -> ph3-2_3 


Detected pigeons:

 ph4-3_1 = [[256, -1426, 759], [-449, 1035, 352], [-478, 555, -531], [-1370, -1256, -959]]

 ph3-2_1 = [[-544, -170], [-1010, -1235], [1220, 1474]]

 ph3-2_2 = [[-544, -170], [-1010, -1235], [1405, 1229]]

 ph3-2_3 = [[325, 1488], [-544, -170], [-1010, -1235]]

[startup+1800.04 s]
# the end of solver process 1276237 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1752.92 s, system=0.027562 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1752.95
CPU user time (s): 1752.92
CPU system time (s): 0.027562
CPU usage (%): 97.3837
Max. virtual memory (cumulated for all children) (KiB): 43048
Max. memory (cumulated for all children) (KiB): 18008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.92
system time used= 0.027562
maximum resident set size= 18008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3047
page faults= 0
swaps= 0
block input operations= 368
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 96874


# summary of solver processes directly reported to runsolver:
#   pid: 1276237
#   total CPU time (s): 1752.95
#   total CPU user time (s): 1752.92
#   total CPU system time (s): 0.027562

??? end of timestamper thread
runsolver used 15.815 second user time and 21.2012 second system time

The end
