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

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/goldberg/rand_net/rand_net60-30-1.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.105398 s]*
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27386736/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=41300 memory=14548 CPUtime=0.06 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2431 0 0 0 6 0 0 0 20 0 1 0 347654733 42291200 3637 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10325 3637 1536 2 0 2737 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 41300 KiB
Current children cumulated memory: 14548 KiB

[startup+0.217397 s]*
/proc/loadavg: 0.01 1.69 3.70 12/570 1191623
/proc/meminfo: memFree=27352484/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=0.17 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2831 0 0 0 17 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+0.326401 s]*
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27343212/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=0.26 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2831 0 0 0 26 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+0.700402 s]
/proc/loadavg: 0.01 1.69 3.70 10/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=0.57 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2832 0 0 0 57 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+1.5004 s]
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=1.35 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2832 0 0 0 135 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+3.1224 s]
/proc/loadavg: 0.65 1.79 3.72 11/570 1191623
/proc/meminfo: memFree=27340612/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=2.92 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2832 0 0 0 292 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+6.3004 s]
/proc/loadavg: 0.65 1.79 3.72 11/570 1191623
/proc/meminfo: memFree=27340588/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=6.03 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2832 0 0 0 603 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+12.7004 s]
/proc/loadavg: 1.32 1.91 3.75 11/570 1191631
/proc/meminfo: memFree=27340148/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=12.27 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2833 0 0 0 1227 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+25.5004 s]
/proc/loadavg: 2.87 2.23 3.83 11/570 1191632
/proc/meminfo: memFree=27340920/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=16132 CPUtime=24.76 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2833 0 0 0 2476 0 0 0 20 0 1 0 347654733 43864064 4033 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4033 1536 2 0 3121 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 16132 KiB

[startup+51.1224 s]
/proc/loadavg: 4.84 2.74 3.95 11/570 1191632
/proc/meminfo: memFree=27329384/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=49.77 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2847 0 0 0 4977 0 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 49.77 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+102.3 s]
/proc/loadavg: 6.83 3.62 4.19 11/570 1191641
/proc/meminfo: memFree=27328852/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=99.75 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2855 0 0 0 9974 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 99.75 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+162.3 s]
/proc/loadavg: 7.65 4.44 4.44 11/570 1191650
/proc/meminfo: memFree=27328560/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=158.26 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2859 0 0 0 15825 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 158.26 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+222.3 s]
/proc/loadavg: 7.97 5.12 4.68 11/570 1191661
/proc/meminfo: memFree=27326876/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=216.84 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2861 0 0 0 21683 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 216.84 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+282.3 s]
/proc/loadavg: 8.08 5.68 4.90 11/569 1191670
/proc/meminfo: memFree=27327012/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=275.4 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2864 0 0 0 27539 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 275.4 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+342.3 s]
/proc/loadavg: 8.35 6.18 5.12 11/567 1191679
/proc/meminfo: memFree=27326356/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=333.96 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2866 0 0 0 33395 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 333.96 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+402.3 s]
/proc/loadavg: 8.38 6.59 5.33 11/567 1191689
/proc/meminfo: memFree=27326164/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=392.55 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2868 0 0 0 39254 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 392.55 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+462.3 s]
/proc/loadavg: 8.40 6.94 5.53 11/567 1191698
/proc/meminfo: memFree=27325704/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=451.15 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2870 0 0 0 45114 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 451.15 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+522.303 s]
/proc/loadavg: 8.52 7.24 5.72 11/568 1191709
/proc/meminfo: memFree=27325656/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=509.73 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2872 0 0 0 50972 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 509.73 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+582.31 s]
/proc/loadavg: 8.57 7.49 5.91 11/568 1191719
/proc/meminfo: memFree=27325524/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=568.32 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2874 0 0 0 56831 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 568.32 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+642.3 s]
/proc/loadavg: 8.59 7.69 6.08 11/568 1191728
/proc/meminfo: memFree=27325448/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=626.88 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2876 0 0 0 62687 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 626.88 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+702.3 s]
/proc/loadavg: 8.78 7.93 6.26 11/569 1191749
/proc/meminfo: memFree=27323280/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=685.4 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2878 0 0 0 68539 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 685.4 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+762.3 s]
/proc/loadavg: 8.44 7.99 6.39 11/569 1191758
/proc/meminfo: memFree=27324228/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=743.92 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2880 0 0 0 74391 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 743.92 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+822.3 s]
/proc/loadavg: 8.51 8.07 6.52 11/569 1191768
/proc/meminfo: memFree=27324024/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=802.49 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2882 0 0 0 80248 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 802.49 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+882.3 s]
/proc/loadavg: 10.16 8.62 6.81 11/568 1191777
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17164 CPUtime=861.06 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2884 0 0 0 86105 1 0 0 20 0 1 0 347654733 43864064 4291 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4291 1536 2 0 3121 0
Current children cumulated CPU time: 861.06 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17164 KiB

[startup+942.3 s]
/proc/loadavg: 11.38 9.23 7.13 11/568 1191786
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=919.63 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2886 0 0 0 91962 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 919.63 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1002.3 s]
/proc/loadavg: 11.73 9.70 7.42 11/567 1191796
/proc/meminfo: memFree=27324148/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=978.19 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2888 0 0 0 97818 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 978.19 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1062.31 s]
/proc/loadavg: 12.00 10.16 7.73 11/567 1191805
/proc/meminfo: memFree=27324040/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1036.69 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2890 0 0 0 103668 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1036.69 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1122.3 s]
/proc/loadavg: 11.83 10.47 7.99 11/569 1191827
/proc/meminfo: memFree=27323612/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1095.16 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2892 0 0 0 109515 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1095.16 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1182.3 s]
/proc/loadavg: 10.24 10.28 8.08 11/570 1191838
/proc/meminfo: memFree=27323860/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1153.72 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2894 0 0 0 115371 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1153.72 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1242.3 s]
/proc/loadavg: 9.27 10.01 8.13 11/571 1191848
/proc/meminfo: memFree=27323608/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1212.26 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2896 0 0 0 121225 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1212.26 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1302.3 s]
/proc/loadavg: 8.73 9.72 8.15 11/571 1191857
/proc/meminfo: memFree=27323740/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1270.81 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2898 0 0 0 127080 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1270.81 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1362.3 s]
/proc/loadavg: 8.42 9.45 8.15 11/571 1191866
/proc/meminfo: memFree=27323632/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1329.31 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2900 0 0 0 132930 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1329.31 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1422.3 s]
/proc/loadavg: 8.20 9.20 8.15 11/569 1191876
/proc/meminfo: memFree=27323752/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1387.86 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2902 0 0 0 138785 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1387.86 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1482.3 s]
/proc/loadavg: 8.53 9.10 8.18 11/568 1191885
/proc/meminfo: memFree=27323604/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1446.41 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2904 0 0 0 144640 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1446.41 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1542.31 s]
/proc/loadavg: 8.36 8.94 8.18 11/568 1191894
/proc/meminfo: memFree=27323996/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1504.94 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2906 0 0 0 150493 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1504.94 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1602.3 s]
/proc/loadavg: 8.43 8.86 8.20 11/567 1191912
/proc/meminfo: memFree=27323776/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1563.44 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2908 0 0 0 156343 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1563.44 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1662.3 s]
/proc/loadavg: 8.55 8.81 8.23 12/567 1191921
/proc/meminfo: memFree=27323792/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1621.99 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2910 0 0 0 162198 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1621.99 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1722.3 s]
/proc/loadavg: 8.45 8.74 8.24 11/567 1191931
/proc/meminfo: memFree=27323156/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1680.56 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2912 0 0 0 168055 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1680.56 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

[startup+1782.3 s]
/proc/loadavg: 8.48 8.69 8.25 11/567 1191941
/proc/meminfo: memFree=27323812/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1739.13 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2914 0 0 0 173912 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1739.13 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]*
/proc/loadavg: 8.41 8.66 8.25 12/567 1191942
/proc/meminfo: memFree=27323724/32713960 swapFree=33554428/33554428
[pid=1191601] ppid=1191599 vsize=42836 memory=17224 CPUtime=1756.42 cores=2
/proc/1191601/stat : 1191601 (pigeonPur.py) R 1191599 1191601 1191543 0 -1 4194304 2914 0 0 0 175641 1 0 0 20 0 1 0 347654733 43864064 4306 18446744073709551615 94190900580352 94190900584464 140722884194112 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94190902684928 94190902685700 94190927720448 140722884198894 140722884198995 140722884198995 140722884202473 0
/proc/1191601/statm: 10709 4306 1536 2 0 3121 0
Current children cumulated CPU time: 1756.42 s
Current children cumulated vsize: 42836 KiB
Current children cumulated memory: 17224 KiB

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

Detected pigeons:

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

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

Child status: 1
Real time (s): 1800.07
CPU time (s): 1756.45
CPU user time (s): 1756.43
CPU system time (s): 0.016842
CPU usage (%): 97.5767
Max. virtual memory (cumulated for all children) (KiB): 42836
Max. memory (cumulated for all children) (KiB): 17224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.43
system time used= 0.016842
maximum resident set size= 17224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2916
page faults= 0
swaps= 0
block input operations= 304
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 56102


# summary of solver processes directly reported to runsolver:
#   pid: 1191601
#   total CPU time (s): 1756.45
#   total CPU user time (s): 1756.43
#   total CPU system time (s): 0.016842

??? end of timestamper thread
runsolver used 15.9014 second user time and 18.8298 second system time

The end
