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 (13257 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-40-1.shuffled.cnf 

running on 1 cores: 4

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


[startup+0.110681 s]*
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27386176/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=42084 memory=14864 CPUtime=0.07 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 2554 0 0 0 7 0 0 0 20 0 1 0 347654733 43094016 3716 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 10521 3716 1490 2 0 2933 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42084 KiB
Current children cumulated memory: 14864 KiB

[startup+0.217685 s]*
/proc/loadavg: 0.01 1.69 3.70 9/570 1191623
/proc/meminfo: memFree=27353324/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=0.16 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3388 0 0 0 16 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+0.327686 s]*
/proc/loadavg: 0.01 1.69 3.70 11/570 1191623
/proc/meminfo: memFree=27343212/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=0.25 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3388 0 0 0 25 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+0.700685 s]
/proc/loadavg: 0.01 1.69 3.70 9/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=0.56 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3388 0 0 0 56 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+1.50068 s]
/proc/loadavg: 0.01 1.69 3.70 10/570 1191623
/proc/meminfo: memFree=27340512/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=1.34 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3388 0 0 0 134 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+3.12069 s]
/proc/loadavg: 0.65 1.79 3.72 10/570 1191623
/proc/meminfo: memFree=27340612/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=2.92 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3388 0 0 0 292 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+6.30068 s]
/proc/loadavg: 0.65 1.79 3.72 10/570 1191623
/proc/meminfo: memFree=27340588/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=6.03 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3389 0 0 0 603 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+12.7007 s]
/proc/loadavg: 1.32 1.91 3.75 10/570 1191631
/proc/meminfo: memFree=27340148/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=12.28 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3391 0 0 0 1228 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+25.5007 s]
/proc/loadavg: 2.87 2.23 3.83 10/570 1191632
/proc/meminfo: memFree=27340920/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=18076 CPUtime=24.77 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3399 0 0 0 2477 0 0 0 20 0 1 0 347654733 45985792 4519 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4519 1490 2 0 3639 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 18076 KiB

[startup+51.1287 s]
/proc/loadavg: 4.84 2.74 3.95 10/570 1191632
/proc/meminfo: memFree=27329384/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19576 CPUtime=49.76 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3411 0 0 0 4976 0 0 0 20 0 1 0 347654733 45985792 4894 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4894 1490 2 0 3639 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19576 KiB

[startup+102.301 s]
/proc/loadavg: 6.83 3.62 4.19 10/570 1191641
/proc/meminfo: memFree=27328852/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19576 CPUtime=99.68 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3420 0 0 0 9968 0 0 0 20 0 1 0 347654733 45985792 4894 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4894 1490 2 0 3639 0
Current children cumulated CPU time: 99.68 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19576 KiB

[startup+162.301 s]
/proc/loadavg: 7.65 4.44 4.44 10/570 1191650
/proc/meminfo: memFree=27328560/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19576 CPUtime=158.23 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3426 0 0 0 15823 0 0 0 20 0 1 0 347654733 45985792 4894 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4894 1490 2 0 3639 0
Current children cumulated CPU time: 158.23 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19576 KiB

[startup+222.301 s]
/proc/loadavg: 7.97 5.12 4.68 10/570 1191661
/proc/meminfo: memFree=27326876/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=216.79 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3432 0 0 0 21679 0 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 216.79 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+282.301 s]
/proc/loadavg: 8.08 5.68 4.90 10/569 1191670
/proc/meminfo: memFree=27327012/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=275.32 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3435 0 0 0 27532 0 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 275.32 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+342.301 s]
/proc/loadavg: 8.35 6.18 5.12 10/567 1191679
/proc/meminfo: memFree=27326356/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=333.87 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3435 0 0 0 33386 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 333.87 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+402.301 s]
/proc/loadavg: 8.38 6.59 5.33 10/567 1191689
/proc/meminfo: memFree=27326164/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=392.4 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3441 0 0 0 39239 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 392.4 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+462.301 s]
/proc/loadavg: 8.40 6.94 5.53 10/567 1191698
/proc/meminfo: memFree=27325704/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=450.95 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3445 0 0 0 45094 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 450.95 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+522.301 s]
/proc/loadavg: 8.52 7.24 5.72 10/568 1191709
/proc/meminfo: memFree=27325656/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=509.49 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3449 0 0 0 50948 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 509.49 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+582.301 s]
/proc/loadavg: 8.57 7.49 5.91 10/568 1191719
/proc/meminfo: memFree=27325524/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=568.02 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3456 0 0 0 56801 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 568.02 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+642.301 s]
/proc/loadavg: 8.59 7.69 6.08 10/568 1191728
/proc/meminfo: memFree=27325448/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=626.57 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3459 0 0 0 62656 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 626.57 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+702.301 s]
/proc/loadavg: 8.78 7.93 6.26 10/569 1191749
/proc/meminfo: memFree=27323280/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=685.12 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3462 0 0 0 68511 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 685.12 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+762.301 s]
/proc/loadavg: 8.44 7.99 6.39 10/569 1191758
/proc/meminfo: memFree=27324228/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=743.61 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3465 0 0 0 74360 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 743.61 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+822.301 s]
/proc/loadavg: 8.51 8.07 6.52 10/569 1191768
/proc/meminfo: memFree=27324024/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=802.17 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3468 0 0 0 80216 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 802.17 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+882.301 s]
/proc/loadavg: 10.16 8.62 6.81 11/568 1191777
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=860.71 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3472 0 0 0 86070 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 860.71 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+942.301 s]
/proc/loadavg: 11.38 9.23 7.13 10/568 1191786
/proc/meminfo: memFree=27324104/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=919.23 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3475 0 0 0 91922 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 919.23 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1002.3 s]
/proc/loadavg: 11.73 9.70 7.42 12/567 1191796
/proc/meminfo: memFree=27324148/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=977.74 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3478 0 0 0 97773 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 977.74 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1062.3 s]
/proc/loadavg: 12.00 10.16 7.73 10/567 1191805
/proc/meminfo: memFree=27324040/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=1036.25 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3481 0 0 0 103624 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 1036.25 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1122.3 s]
/proc/loadavg: 11.83 10.47 7.99 10/569 1191827
/proc/meminfo: memFree=27323612/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=1094.78 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3484 0 0 0 109477 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 1094.78 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1182.3 s]
/proc/loadavg: 10.24 10.28 8.08 10/570 1191838
/proc/meminfo: memFree=27323860/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=1153.31 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3487 0 0 0 115330 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 1153.31 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1242.3 s]
/proc/loadavg: 9.27 10.01 8.13 10/571 1191848
/proc/meminfo: memFree=27323608/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19700 CPUtime=1211.83 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3490 0 0 0 121182 1 0 0 20 0 1 0 347654733 45985792 4925 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4925 1490 2 0 3639 0
Current children cumulated CPU time: 1211.83 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19700 KiB

[startup+1302.3 s]
/proc/loadavg: 8.73 9.72 8.15 10/571 1191857
/proc/meminfo: memFree=27323740/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1270.33 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3493 0 0 0 127032 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1270.33 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 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=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1328.8 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3496 0 0 0 132879 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1328.8 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1422.3 s]
/proc/loadavg: 8.20 9.20 8.15 10/569 1191876
/proc/meminfo: memFree=27323752/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1387.34 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3499 0 0 0 138733 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1387.34 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1482.3 s]
/proc/loadavg: 8.53 9.10 8.18 10/568 1191885
/proc/meminfo: memFree=27323604/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1445.89 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3502 0 0 0 144588 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1445.89 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1542.3 s]
/proc/loadavg: 8.36 8.94 8.18 10/568 1191894
/proc/meminfo: memFree=27323996/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1504.44 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3505 0 0 0 150443 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1504.44 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1602.3 s]
/proc/loadavg: 8.43 8.86 8.20 10/567 1191912
/proc/meminfo: memFree=27323776/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1562.95 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3508 0 0 0 156294 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1562.95 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1662.3 s]
/proc/loadavg: 8.55 8.81 8.23 11/567 1191921
/proc/meminfo: memFree=27323792/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1621.45 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3511 0 0 0 162144 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1621.45 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 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=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1679.98 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3514 0 0 0 167997 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1679.98 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

[startup+1782.3 s]
/proc/loadavg: 8.48 8.69 8.25 10/567 1191941
/proc/meminfo: memFree=27323812/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1738.52 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3517 0 0 0 173851 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1738.52 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.41 8.66 8.25 11/567 1191942
/proc/meminfo: memFree=27323724/32713960 swapFree=33554428/33554428
[pid=1191593] ppid=1191591 vsize=44908 memory=19740 CPUtime=1755.82 cores=4
/proc/1191593/stat : 1191593 (pigeonPur.py) R 1191591 1191593 1191551 0 -1 4194304 3517 0 0 0 175581 1 0 0 20 0 1 0 347654733 45985792 4935 18446744073709551615 94499497795584 94499497799696 140726800229280 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 347654735 0 0 94499499900160 94499499900932 94499517575168 140726800237038 140726800237139 140726800237139 140726800240617 0
/proc/1191593/statm: 11227 4935 1490 2 0 3639 0
Current children cumulated CPU time: 1755.82 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 19740 KiB

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

Detected pigeons:

[startup+1800.07 s]
# the end of solver process 1191593 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1755.84 s, system=0.017836 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): 1755.86
CPU user time (s): 1755.84
CPU system time (s): 0.017836
CPU usage (%): 97.5437
Max. virtual memory (cumulated for all children) (KiB): 44908
Max. memory (cumulated for all children) (KiB): 19740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.84
system time used= 0.017836
maximum resident set size= 19740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3519
page faults= 0
swaps= 0
block input operations= 408
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 65801


# summary of solver processes directly reported to runsolver:
#   pid: 1191593
#   total CPU time (s): 1755.86
#   total CPU user time (s): 1755.84
#   total CPU system time (s): 0.017836

??? end of timestamper thread
runsolver used 15.962 second user time and 19.6462 second system time

The end
