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_2pin_w5.shuffled.cnf 

running on 1 cores: 6

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


[startup+0.104421 s]*
/proc/loadavg: 0.00 0.00 0.11 10/544 1276240
/proc/meminfo: memFree=27378736/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18124 CPUtime=0.09 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3358 0 0 0 8 1 0 0 20 0 1 0 398715101 46788608 4531 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4531 1518 2 0 3835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18124 KiB

[startup+0.22642 s]*
/proc/loadavg: 0.00 0.00 0.11 10/544 1276240
/proc/meminfo: memFree=27368124/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18124 CPUtime=0.19 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3358 0 0 0 18 1 0 0 20 0 1 0 398715101 46788608 4531 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4531 1518 2 0 3835 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18124 KiB

[startup+0.329422 s]*
/proc/loadavg: 0.00 0.00 0.11 9/544 1276240
/proc/meminfo: memFree=27367564/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18124 CPUtime=0.27 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3358 0 0 0 26 1 0 0 20 0 1 0 398715101 46788608 4531 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4531 1518 2 0 3835 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18124 KiB

[startup+0.708431 s]
/proc/loadavg: 0.00 0.00 0.11 9/544 1276240
/proc/meminfo: memFree=27366492/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18124 CPUtime=0.59 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3359 0 0 0 58 1 0 0 20 0 1 0 398715101 46788608 4531 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4531 1518 2 0 3835 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18124 KiB

[startup+1.50043 s]
/proc/loadavg: 0.00 0.00 0.11 10/544 1276240
/proc/meminfo: memFree=27366536/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18124 CPUtime=1.36 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3375 0 0 0 135 1 0 0 20 0 1 0 398715101 46788608 4531 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4531 1518 2 0 3835 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18124 KiB

[startup+3.12743 s]
/proc/loadavg: 0.40 0.08 0.14 9/544 1276241
/proc/meminfo: memFree=27366484/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=2.94 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3422 0 0 0 293 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+6.30043 s]
/proc/loadavg: 0.40 0.08 0.14 13/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=6.04 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3424 0 0 0 603 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+12.7004 s]
/proc/loadavg: 1.57 0.34 0.22 13/569 1276275
/proc/meminfo: memFree=27301916/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=12.29 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3428 0 0 0 1228 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+25.5004 s]
/proc/loadavg: 2.56 0.60 0.31 13/569 1276275
/proc/meminfo: memFree=27300616/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=24.78 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3432 0 0 0 2477 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 24.78 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+51.1264 s]
/proc/loadavg: 4.49 1.21 0.52 12/569 1276283
/proc/meminfo: memFree=27296568/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=49.75 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3440 0 0 0 4974 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 49.75 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+102.3 s]
/proc/loadavg: 6.80 2.41 0.97 12/568 1276285
/proc/meminfo: memFree=27295528/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=99.67 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3457 0 0 0 9966 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 99.67 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+162.304 s]
/proc/loadavg: 7.96 3.53 1.45 12/569 1276295
/proc/meminfo: memFree=27294808/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18388 CPUtime=158.19 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3474 0 0 0 15818 1 0 0 20 0 1 0 398715101 46788608 4597 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4597 1518 2 0 3835 0
Current children cumulated CPU time: 158.19 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18388 KiB

[startup+222.3 s]
/proc/loadavg: 8.06 4.36 1.87 12/569 1276305
/proc/meminfo: memFree=27292752/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18652 CPUtime=216.71 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3526 0 0 0 21670 1 0 0 20 0 1 0 398715101 46788608 4663 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4663 1518 2 0 3835 0
Current children cumulated CPU time: 216.71 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18652 KiB

[startup+282.3 s]
/proc/loadavg: 8.55 5.19 2.31 14/569 1276314
/proc/meminfo: memFree=27292848/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18916 CPUtime=275.22 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3550 0 0 0 27521 1 0 0 20 0 1 0 398715101 46788608 4729 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4729 1518 2 0 3835 0
Current children cumulated CPU time: 275.22 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18916 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=1276238] ppid=1276236 vsize=45692 memory=18916 CPUtime=333.74 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3575 0 0 0 33373 1 0 0 20 0 1 0 398715101 46788608 4729 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4729 1518 2 0 3835 0
Current children cumulated CPU time: 333.74 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18916 KiB

[startup+402.303 s]
/proc/loadavg: 8.23 6.18 3.02 13/568 1276333
/proc/meminfo: memFree=27291188/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=45692 memory=18916 CPUtime=392.21 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 3597 0 0 0 39220 1 0 0 20 0 1 0 398715101 46788608 4729 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11423 4729 1518 2 0 3835 0
Current children cumulated CPU time: 392.21 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 18916 KiB

[startup+462.308 s]
/proc/loadavg: 8.17 6.54 3.35 13/567 1276342
/proc/meminfo: memFree=27288200/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=450.59 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 45058 1 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 450.59 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+522.304 s]
/proc/loadavg: 8.12 6.83 3.65 13/567 1276352
/proc/meminfo: memFree=27288172/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=508.98 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 50897 1 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 508.98 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 11/567 1276362
/proc/meminfo: memFree=27287936/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=567.45 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 56744 1 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 567.45 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+642.3 s]
/proc/loadavg: 8.33 7.33 4.22 13/567 1276371
/proc/meminfo: memFree=27287700/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=625.88 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 62587 1 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 625.88 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=684.32 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 68430 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 684.32 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+762.3 s]
/proc/loadavg: 8.40 7.74 4.75 13/567 1276389
/proc/meminfo: memFree=27282064/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=742.76 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 74274 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 742.76 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+822.3 s]
/proc/loadavg: 8.39 7.86 4.99 13/567 1276399
/proc/meminfo: memFree=27280268/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=801.26 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 80124 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 801.26 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+882.3 s]
/proc/loadavg: 8.31 7.95 5.20 11/567 1276408
/proc/meminfo: memFree=27279908/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=859.68 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 85966 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 859.68 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=918.12 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 91810 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 918.12 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=976.61 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 97659 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 976.61 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=1035.08 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 103506 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 1035.08 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 12/569 1276456
/proc/meminfo: memFree=27278580/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=1093.52 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 109350 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 1093.52 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=21292 CPUtime=1152 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4160 0 0 0 115198 2 0 0 20 0 1 0 398715101 49016832 5323 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5323 1518 2 0 4379 0
Current children cumulated CPU time: 1152 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 21292 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=1276238] ppid=1276236 vsize=47868 memory=23060 CPUtime=1210.47 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4180 0 0 0 121045 2 0 0 20 0 1 0 398715101 49016832 5765 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5765 1518 2 0 4379 0
Current children cumulated CPU time: 1210.47 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23060 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 12/569 1276496
/proc/meminfo: memFree=27269064/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23060 CPUtime=1268.92 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4200 0 0 0 126890 2 0 0 20 0 1 0 398715101 49016832 5765 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5765 1518 2 0 4379 0
Current children cumulated CPU time: 1268.92 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23060 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=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1327.37 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4210 0 0 0 132735 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1327.37 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 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=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1385.87 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4220 0 0 0 138585 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1385.87 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 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=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1444.37 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4220 0 0 0 144435 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1444.37 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 12/567 1276533
/proc/meminfo: memFree=27269452/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1502.8 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4225 0 0 0 150278 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1502.8 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 15/567 1276543
/proc/meminfo: memFree=27269432/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1561.28 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4230 0 0 0 156126 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1561.28 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 12/567 1276552
/proc/meminfo: memFree=27269440/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1619.76 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4235 0 0 0 161974 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1619.76 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 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=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1678.16 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4240 0 0 0 167814 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1678.16 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 13/567 1276572
/proc/meminfo: memFree=27268848/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1736.6 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4245 0 0 0 173658 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1736.6 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.42 8.35 7.20 12/559 1276585
/proc/meminfo: memFree=27283408/32713960 swapFree=33554428/33554428
[pid=1276238] ppid=1276236 vsize=47868 memory=23164 CPUtime=1753.87 cores=6
/proc/1276238/stat : 1276238 (pigeonPurSampli) R 1276236 1276238 1276216 0 -1 4194304 4250 0 0 0 175385 2 0 0 20 0 1 0 398715101 49016832 5791 18446744073709551615 94538918350848 94538918354960 140729731269248 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 398715102 0 0 94538920455424 94538920456196 94538924515328 140729731277327 140729731277441 140729731277441 140729731280865 0
/proc/1276238/statm: 11967 5791 1518 2 0 4379 0
Current children cumulated CPU time: 1753.87 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 23164 KiB

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

Detected pigeons:

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

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1753.9
CPU user time (s): 1753.87
CPU system time (s): 0.029668
CPU usage (%): 97.436
Max. virtual memory (cumulated for all children) (KiB): 47868
Max. memory (cumulated for all children) (KiB): 23164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.87
system time used= 0.029668
maximum resident set size= 23164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4252
page faults= 0
swaps= 0
block input operations= 1096
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 54821


# summary of solver processes directly reported to runsolver:
#   pid: 1276238
#   total CPU time (s): 1753.9
#   total CPU user time (s): 1753.87
#   total CPU system time (s): 0.029668

??? end of timestamper thread
runsolver used 16.0996 second user time and 20.9586 second system time

The end
