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

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/aloul/Lisa/lisa21_2_a.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=1264923, runsolver pid=1264917
Current StackSize limit: 8192 KiB


[startup+0.100673 s]*
/proc/loadavg: 0.00 0.00 0.00 10/553 1264935
/proc/meminfo: memFree=27407604/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12268 CPUtime=0.09 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1929 0 0 0 9 0 0 0 20 0 1 0 391904200 40783872 3067 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3067 1498 2 0 2369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12268 KiB

[startup+0.224673 s]*
/proc/loadavg: 0.00 0.00 0.00 11/553 1264935
/proc/meminfo: memFree=27405968/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12268 CPUtime=0.2 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1930 0 0 0 20 0 0 0 20 0 1 0 391904200 40783872 3067 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3067 1498 2 0 2369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12268 KiB

[startup+0.325675 s]*
/proc/loadavg: 0.00 0.00 0.00 9/553 1264935
/proc/meminfo: memFree=27404076/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12268 CPUtime=0.28 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1931 0 0 0 28 0 0 0 20 0 1 0 391904200 40783872 3067 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3067 1498 2 0 2369 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12268 KiB

[startup+0.700673 s]
/proc/loadavg: 0.00 0.00 0.00 8/553 1264935
/proc/meminfo: memFree=27402176/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12268 CPUtime=0.6 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1935 0 0 0 60 0 0 0 20 0 1 0 391904200 40783872 3067 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3067 1498 2 0 2369 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12268 KiB

[startup+1.50067 s]
/proc/loadavg: 0.00 0.00 0.00 10/553 1264935
/proc/meminfo: memFree=27401876/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12268 CPUtime=1.38 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1943 0 0 0 138 0 0 0 20 0 1 0 391904200 40783872 3067 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3067 1498 2 0 2369 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12268 KiB

[startup+3.12168 s]
/proc/loadavg: 0.48 0.10 0.03 10/553 1264935
/proc/meminfo: memFree=27401580/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12532 CPUtime=2.96 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1981 0 0 0 296 0 0 0 20 0 1 0 391904200 40783872 3133 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3133 1498 2 0 2369 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12532 KiB

[startup+6.30067 s]
/proc/loadavg: 0.48 0.10 0.03 10/554 1264937
/proc/meminfo: memFree=27401596/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12532 CPUtime=6.07 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 1983 0 0 0 607 0 0 0 20 0 1 0 391904200 40783872 3133 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3133 1498 2 0 2369 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12532 KiB

[startup+12.7007 s]
/proc/loadavg: 1.33 0.29 0.10 10/554 1264937
/proc/meminfo: memFree=27401400/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=39828 memory=12644 CPUtime=12.34 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 2053 0 0 0 1234 0 0 0 20 0 1 0 391904200 40783872 3161 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 9957 3161 1498 2 0 2369 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 39828 KiB
Current children cumulated memory: 12644 KiB

[startup+25.5007 s]
/proc/loadavg: 2.05 0.48 0.16 10/554 1264937
/proc/meminfo: memFree=27401560/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12656 CPUtime=24.87 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52394 0 0 0 2463 24 0 0 20 0 1 0 391904200 41046016 3164 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3164 1498 2 0 2433 0
Current children cumulated CPU time: 24.87 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12656 KiB

[startup+51.1187 s]
/proc/loadavg: 3.40 0.93 0.32 10/554 1264945
/proc/meminfo: memFree=27399764/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12656 CPUtime=49.94 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52400 0 0 0 4970 24 0 0 20 0 1 0 391904200 41046016 3164 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3164 1498 2 0 2433 0
Current children cumulated CPU time: 49.94 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12656 KiB

[startup+102.301 s]
/proc/loadavg: 4.96 1.78 0.65 10/554 1264954
/proc/meminfo: memFree=27398824/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12656 CPUtime=100.05 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52415 0 0 0 9981 24 0 0 20 0 1 0 391904200 41046016 3164 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3164 1498 2 0 2433 0
Current children cumulated CPU time: 100.05 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12656 KiB

[startup+162.301 s]
/proc/loadavg: 5.62 2.55 0.98 10/554 1264963
/proc/meminfo: memFree=27398424/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12656 CPUtime=158.78 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52427 0 0 0 15854 24 0 0 20 0 1 0 391904200 41046016 3164 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3164 1498 2 0 2433 0
Current children cumulated CPU time: 158.78 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12656 KiB

[startup+222.301 s]
/proc/loadavg: 5.92 3.20 1.31 10/554 1264975
/proc/meminfo: memFree=27396812/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12656 CPUtime=217.51 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52443 0 0 0 21727 24 0 0 20 0 1 0 391904200 41046016 3164 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3164 1498 2 0 2433 0
Current children cumulated CPU time: 217.51 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12656 KiB

[startup+282.301 s]
/proc/loadavg: 6.46 3.84 1.64 10/554 1264984
/proc/meminfo: memFree=27393928/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=276.24 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52456 0 0 0 27600 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 276.24 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+342.301 s]
/proc/loadavg: 6.41 4.30 1.94 11/554 1265004
/proc/meminfo: memFree=27392376/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=334.96 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52468 0 0 0 33472 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 334.96 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+402.301 s]
/proc/loadavg: 6.15 4.61 2.20 11/554 1265014
/proc/meminfo: memFree=27392040/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=393.68 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52480 0 0 0 39344 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 393.68 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+462.301 s]
/proc/loadavg: 6.05 4.87 2.44 10/554 1265023
/proc/meminfo: memFree=27391680/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=452.41 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52493 0 0 0 45217 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 452.41 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+522.301 s]
/proc/loadavg: 6.02 5.07 2.66 10/556 1265034
/proc/meminfo: memFree=27391212/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=511.14 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52503 0 0 0 51090 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 511.14 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+582.301 s]
/proc/loadavg: 6.05 5.26 2.88 11/556 1265044
/proc/meminfo: memFree=27390264/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=12916 CPUtime=569.86 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52516 0 0 0 56962 24 0 0 20 0 1 0 391904200 41046016 3229 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3229 1498 2 0 2433 0
Current children cumulated CPU time: 569.86 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12916 KiB

[startup+642.301 s]
/proc/loadavg: 6.08 5.43 3.09 10/554 1265053
/proc/meminfo: memFree=27388744/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40084 memory=13180 CPUtime=628.59 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52530 0 0 0 62835 24 0 0 20 0 1 0 391904200 41046016 3295 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10021 3295 1498 2 0 2433 0
Current children cumulated CPU time: 628.59 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 13180 KiB

[startup+702.301 s]
/proc/loadavg: 6.11 5.55 3.28 11/554 1265062
/proc/meminfo: memFree=27386692/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13700 CPUtime=687.32 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52715 0 0 0 68707 25 0 0 20 0 1 0 391904200 41570304 3425 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3425 1498 2 0 2561 0
Current children cumulated CPU time: 687.32 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13700 KiB

[startup+762.301 s]
/proc/loadavg: 6.11 5.65 3.46 10/554 1265071
/proc/meminfo: memFree=27386312/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13700 CPUtime=746.03 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52715 0 0 0 74578 25 0 0 20 0 1 0 391904200 41570304 3425 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3425 1498 2 0 2561 0
Current children cumulated CPU time: 746.03 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13700 KiB

[startup+822.301 s]
/proc/loadavg: 6.09 5.73 3.62 10/555 1265083
/proc/meminfo: memFree=27385872/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=804.75 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52728 0 0 0 80450 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 804.75 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+882.301 s]
/proc/loadavg: 6.03 5.78 3.78 10/553 1265092
/proc/meminfo: memFree=27385932/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=863.47 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 86322 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 863.47 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+942.301 s]
/proc/loadavg: 6.01 5.83 3.92 10/553 1265101
/proc/meminfo: memFree=27385912/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=922.19 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 92194 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 922.19 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1002.3 s]
/proc/loadavg: 6.00 5.86 4.05 10/553 1265111
/proc/meminfo: memFree=27385948/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=980.92 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 98067 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 980.92 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1062.3 s]
/proc/loadavg: 6.00 5.89 4.18 10/553 1265131
/proc/meminfo: memFree=27385780/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1039.64 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 103939 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1039.64 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1122.3 s]
/proc/loadavg: 6.00 5.91 4.29 11/552 1265147
/proc/meminfo: memFree=27385752/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1098.37 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 109812 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1098.37 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1182.3 s]
/proc/loadavg: 6.00 5.93 4.40 10/552 1265156
/proc/meminfo: memFree=27385728/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1157.09 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 115684 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1157.09 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1242.3 s]
/proc/loadavg: 6.00 5.95 4.51 10/552 1265165
/proc/meminfo: memFree=27385444/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1215.82 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 121557 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1215.82 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1302.3 s]
/proc/loadavg: 6.11 5.99 4.61 11/553 1265176
/proc/meminfo: memFree=27385428/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1274.55 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 127430 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1274.55 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1362.3 s]
/proc/loadavg: 6.09 6.01 4.71 11/553 1265185
/proc/meminfo: memFree=27385376/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1333.27 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 133302 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1333.27 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1422.3 s]
/proc/loadavg: 6.03 6.00 4.79 10/553 1265195
/proc/meminfo: memFree=27385376/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1392 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 139175 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1392 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1482.3 s]
/proc/loadavg: 6.01 6.00 4.87 10/553 1265205
/proc/meminfo: memFree=27385424/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1450.72 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 145047 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1450.72 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1542.3 s]
/proc/loadavg: 6.00 6.00 4.94 11/553 1265214
/proc/meminfo: memFree=27385244/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1509.45 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 150920 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1509.45 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1602.3 s]
/proc/loadavg: 6.38 6.08 5.04 10/552 1265223
/proc/meminfo: memFree=27385428/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1568.17 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52729 0 0 0 156792 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1568.17 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1662.3 s]
/proc/loadavg: 6.33 6.13 5.12 10/552 1265232
/proc/meminfo: memFree=27385028/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1626.91 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52734 0 0 0 162666 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1626.91 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1722.3 s]
/proc/loadavg: 6.47 6.18 5.20 10/553 1265243
/proc/meminfo: memFree=27385316/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1685.66 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52740 0 0 0 168541 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1685.66 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

[startup+1782.3 s]
/proc/loadavg: 8.01 6.62 5.41 10/553 1265252
/proc/meminfo: memFree=27385508/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1744.42 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52742 0 0 0 174417 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1744.42 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.50 6.83 5.51 11/553 1265253
/proc/meminfo: memFree=27385492/32713960 swapFree=33554428/33554428
[pid=1264923] ppid=1264917 vsize=40596 memory=13960 CPUtime=1761.78 cores=6
/proc/1264923/stat : 1264923 (pigeonPurSampli) R 1264917 1264923 1264894 0 -1 4194304 52742 0 0 0 176153 25 0 0 20 0 1 0 391904200 41570304 3490 18446744073709551615 94065459056640 94065459060752 140727197757840 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94065461161216 94065461161988 94065471619072 140727197766130 140727197766228 140727197766228 140727197769697 0
/proc/1264923/statm: 10149 3490 1498 2 0 2561 0
Current children cumulated CPU time: 1761.78 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 13960 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 1264923 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1761.55 s, system=0.251893 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1761.8
CPU user time (s): 1761.55
CPU system time (s): 0.251893
CPU usage (%): 97.8753
Max. virtual memory (cumulated for all children) (KiB): 40596
Max. memory (cumulated for all children) (KiB): 13960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.55
system time used= 0.251893
maximum resident set size= 13960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52744
page faults= 0
swaps= 0
block input operations= 280
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 24968


# summary of solver processes directly reported to runsolver:
#   pid: 1264923
#   total CPU time (s): 1761.8
#   total CPU user time (s): 1761.55
#   total CPU system time (s): 0.251893

??? end of timestamper thread
runsolver used 14.4435 second user time and 16.8396 second system time

The end
