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: 1
  memory of node 0: 3639 MiB (1690 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2003/industrial/c880.cnf 

running on 1 cores: 2

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


[startup+0.101298 s]*
/proc/loadavg: 0.00 0.00 0.00 7/458 356489
/proc/meminfo: memFree=1704364/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=40872 memory=13600 CPUtime=0.09 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2283 0 0 0 8 1 0 0 20 0 1 0 189317575 41852928 3400 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10218 3400 1530 2 0 2627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 13600 KiB

[startup+0.234299 s]*
/proc/loadavg: 0.00 0.00 0.00 6/458 356489
/proc/meminfo: memFree=1693276/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=0.19 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2790 0 0 0 18 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+0.3273 s]*
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1692268/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=0.27 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 26 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+0.701304 s]
/proc/loadavg: 0.00 0.00 0.00 6/458 356489
/proc/meminfo: memFree=1691008/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=0.56 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 55 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+1.50132 s]
/proc/loadavg: 0.00 0.00 0.00 6/458 356489
/proc/meminfo: memFree=1690872/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=1.34 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 133 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+3.1303 s]
/proc/loadavg: 0.48 0.10 0.03 6/458 356489
/proc/meminfo: memFree=1690116/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=2.91 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 290 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+6.30132 s]
/proc/loadavg: 0.48 0.10 0.03 6/458 356489
/proc/meminfo: memFree=1689988/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=6 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 599 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+12.7033 s]
/proc/loadavg: 0.84 0.18 0.06 7/458 356489
/proc/meminfo: memFree=1689484/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=12.22 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 1221 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+25.5103 s]
/proc/loadavg: 1.68 0.40 0.13 6/458 356489
/proc/meminfo: memFree=1689568/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=24.65 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 2464 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+51.1343 s]
/proc/loadavg: 2.55 0.71 0.24 6/458 356498
/proc/meminfo: memFree=1687548/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=49.52 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 4951 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 49.52 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+102.301 s]
/proc/loadavg: 3.68 1.30 0.47 7/458 356507
/proc/meminfo: memFree=1686004/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=99.35 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 9934 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 99.35 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 1.88 0.72 7/458 356516
/proc/meminfo: memFree=1685972/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=157.69 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 15768 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 157.69 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.27 0.93 6/455 356526
/proc/meminfo: memFree=1684964/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=215.87 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 21586 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 215.87 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.59 1.13 7/456 356537
/proc/meminfo: memFree=1684960/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=274.18 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 27417 1 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 274.18 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+342.301 s]
/proc/loadavg: 4.00 2.85 1.31 7/455 356546
/proc/meminfo: memFree=1684740/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=42408 memory=15708 CPUtime=332.47 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 2791 0 0 0 33245 2 0 0 20 0 1 0 189317575 43425792 3927 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10602 3927 1530 2 0 3011 0
Current children cumulated CPU time: 332.47 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15708 KiB

[startup+402.301 s]
/proc/loadavg: 4.11 3.09 1.49 7/455 356556
/proc/meminfo: memFree=1677400/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=43432 memory=16880 CPUtime=390.53 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 3221 0 0 0 39051 2 0 0 20 0 1 0 189317575 44474368 4220 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10858 4220 1530 2 0 3267 0
Current children cumulated CPU time: 390.53 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 16880 KiB

[startup+462.301 s]
/proc/loadavg: 4.11 3.27 1.66 7/456 356566
/proc/meminfo: memFree=1669556/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=43432 memory=16880 CPUtime=448.38 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 3221 0 0 0 44836 2 0 0 20 0 1 0 189317575 44474368 4220 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 10858 4220 1530 2 0 3267 0
Current children cumulated CPU time: 448.38 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 16880 KiB

[startup+522.309 s]
/proc/loadavg: 4.38 3.50 1.84 7/455 356575
/proc/meminfo: memFree=1660232/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=45868 memory=19124 CPUtime=506.38 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 4025 0 0 0 50636 2 0 0 20 0 1 0 189317575 46968832 4781 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 11467 4781 1530 2 0 3876 0
Current children cumulated CPU time: 506.38 s
Current children cumulated vsize: 45868 KiB
Current children cumulated memory: 19124 KiB

[startup+582.301 s]
/proc/loadavg: 4.49 3.70 2.01 6/455 356585
/proc/meminfo: memFree=1656420/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=46804 memory=20144 CPUtime=564.27 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 4436 0 0 0 56425 2 0 0 20 0 1 0 189317575 47927296 5036 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 11701 5036 1530 2 0 4110 0
Current children cumulated CPU time: 564.27 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20144 KiB

[startup+642.3 s]
/proc/loadavg: 4.64 3.89 2.19 7/455 356596
/proc/meminfo: memFree=1655916/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=46804 memory=20144 CPUtime=622.12 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 4436 0 0 0 62210 2 0 0 20 0 1 0 189317575 47927296 5036 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 11701 5036 1530 2 0 4110 0
Current children cumulated CPU time: 622.12 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20144 KiB

[startup+702.309 s]
/proc/loadavg: 4.46 3.98 2.32 6/455 356605
/proc/meminfo: memFree=1653136/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=46804 memory=20144 CPUtime=680.1 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 4436 0 0 0 68007 3 0 0 20 0 1 0 189317575 47927296 5036 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 11701 5036 1530 2 0 4110 0
Current children cumulated CPU time: 680.1 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20144 KiB

[startup+762.3 s]
/proc/loadavg: 4.25 4.01 2.44 8/455 356615
/proc/meminfo: memFree=1633452/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=47972 memory=22276 CPUtime=737.94 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 4843 0 0 0 73791 3 0 0 20 0 1 0 189317575 49123328 5569 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 11993 5569 1530 2 0 4402 0
Current children cumulated CPU time: 737.94 s
Current children cumulated vsize: 47972 KiB
Current children cumulated memory: 22276 KiB

[startup+822.301 s]
/proc/loadavg: 4.33 4.09 2.57 6/456 356626
/proc/meminfo: memFree=1631656/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=49184 memory=23496 CPUtime=795.8 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 5273 0 0 0 79577 3 0 0 20 0 1 0 189317575 50364416 5874 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 12296 5874 1530 2 0 4705 0
Current children cumulated CPU time: 795.8 s
Current children cumulated vsize: 49184 KiB
Current children cumulated memory: 23496 KiB

[startup+882.3 s]
/proc/loadavg: 4.26 4.11 2.68 8/456 356635
/proc/meminfo: memFree=1612976/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=54660 memory=29140 CPUtime=853.67 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 7259 0 0 0 85363 4 0 0 20 0 1 0 189317575 55971840 7285 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 13665 7285 1530 2 0 6074 0
Current children cumulated CPU time: 853.67 s
Current children cumulated vsize: 54660 KiB
Current children cumulated memory: 29140 KiB

[startup+942.301 s]
/proc/loadavg: 4.15 4.10 2.77 6/457 356646
/proc/meminfo: memFree=1608692/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=57072 memory=31448 CPUtime=911.63 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8085 0 0 0 91158 5 0 0 20 0 1 0 189317575 58441728 7862 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14268 7862 1530 2 0 6677 0
Current children cumulated CPU time: 911.63 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31448 KiB

[startup+1002.3 s]
/proc/loadavg: 4.80 4.27 2.91 9/457 356657
/proc/meminfo: memFree=1608660/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=57072 memory=31448 CPUtime=969.6 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8085 0 0 0 96955 5 0 0 20 0 1 0 189317575 58441728 7862 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14268 7862 1530 2 0 6677 0
Current children cumulated CPU time: 969.6 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31448 KiB

[startup+1062.3 s]
/proc/loadavg: 6.40 4.82 3.19 6/458 356667
/proc/meminfo: memFree=1608408/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=57072 memory=31448 CPUtime=1027.4 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8085 0 0 0 102735 5 0 0 20 0 1 0 189317575 58441728 7862 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14268 7862 1530 2 0 6677 0
Current children cumulated CPU time: 1027.4 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31448 KiB

[startup+1122.3 s]
/proc/loadavg: 7.71 5.47 3.51 8/456 356676
/proc/meminfo: memFree=1606612/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=58056 memory=32624 CPUtime=1085.14 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8505 0 0 0 108509 5 0 0 20 0 1 0 189317575 59449344 8156 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14514 8156 1530 2 0 6923 0
Current children cumulated CPU time: 1085.14 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 32624 KiB

[startup+1182.3 s]
/proc/loadavg: 7.51 5.83 3.76 6/456 356685
/proc/meminfo: memFree=1606108/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=58056 memory=32624 CPUtime=1142.87 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8505 0 0 0 114282 5 0 0 20 0 1 0 189317575 59449344 8156 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14514 8156 1530 2 0 6923 0
Current children cumulated CPU time: 1142.87 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 32624 KiB

[startup+1242.3 s]
/proc/loadavg: 6.26 5.79 3.88 8/455 356695
/proc/meminfo: memFree=1603556/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=59292 memory=33604 CPUtime=1200.62 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 8924 0 0 0 120057 5 0 0 20 0 1 0 189317575 60715008 8401 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 14823 8401 1530 2 0 7232 0
Current children cumulated CPU time: 1200.62 s
Current children cumulated vsize: 59292 KiB
Current children cumulated memory: 33604 KiB

[startup+1302.3 s]
/proc/loadavg: 5.13 5.56 3.92 6/455 356711
/proc/meminfo: memFree=1598736/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=61508 memory=35988 CPUtime=1258.4 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 9751 0 0 0 125834 6 0 0 20 0 1 0 189317575 62984192 8997 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 15377 8997 1530 2 0 7786 0
Current children cumulated CPU time: 1258.4 s
Current children cumulated vsize: 61508 KiB
Current children cumulated memory: 35988 KiB

[startup+1362.3 s]
/proc/loadavg: 4.61 5.33 3.95 7/455 356720
/proc/meminfo: memFree=1589632/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=66196 memory=40500 CPUtime=1316.19 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 11344 0 0 0 131613 6 0 0 20 0 1 0 189317575 67784704 10125 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 16549 10125 1530 2 0 8958 0
Current children cumulated CPU time: 1316.19 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40500 KiB

[startup+1422.3 s]
/proc/loadavg: 4.22 5.09 3.96 7/455 356729
/proc/meminfo: memFree=1589128/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=66196 memory=40500 CPUtime=1373.94 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 11346 0 0 0 137388 6 0 0 20 0 1 0 189317575 67784704 10125 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 16549 10125 1530 2 0 8958 0
Current children cumulated CPU time: 1373.94 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40500 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.89 3.96 8/455 356738
/proc/meminfo: memFree=1589096/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=66196 memory=40500 CPUtime=1431.81 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 11346 0 0 0 143175 6 0 0 20 0 1 0 189317575 67784704 10125 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 16549 10125 1530 2 0 8958 0
Current children cumulated CPU time: 1431.81 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40500 KiB

[startup+1542.3 s]
/proc/loadavg: 4.03 4.72 3.97 7/456 356749
/proc/meminfo: memFree=1587836/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=66196 memory=40500 CPUtime=1489.7 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 11346 0 0 0 148964 6 0 0 20 0 1 0 189317575 67784704 10125 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 16549 10125 1530 2 0 8958 0
Current children cumulated CPU time: 1489.7 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40500 KiB

[startup+1602.3 s]
/proc/loadavg: 4.01 4.59 3.98 7/455 356758
/proc/meminfo: memFree=1585788/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=67176 memory=41552 CPUtime=1547.6 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 11759 0 0 0 154753 7 0 0 20 0 1 0 189317575 68788224 10388 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 16794 10388 1530 2 0 9203 0
Current children cumulated CPU time: 1547.6 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 41552 KiB

[startup+1662.3 s]
/proc/loadavg: 4.39 4.58 4.01 6/457 356770
/proc/meminfo: memFree=1577724/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=68412 memory=42824 CPUtime=1605.48 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 12106 0 0 0 160541 7 0 0 20 0 1 0 189317575 70053888 10706 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 17103 10706 1530 2 0 9512 0
Current children cumulated CPU time: 1605.48 s
Current children cumulated vsize: 68412 KiB
Current children cumulated memory: 42824 KiB

[startup+1722.3 s]
/proc/loadavg: 4.57 4.59 4.05 8/456 356780
/proc/meminfo: memFree=1565448/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=69396 memory=43968 CPUtime=1663.28 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 12513 0 0 0 166321 7 0 0 20 0 1 0 189317575 71061504 10992 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 17349 10992 1530 2 0 9758 0
Current children cumulated CPU time: 1663.28 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 43968 KiB

[startup+1782.3 s]
/proc/loadavg: 4.53 4.59 4.09 6/456 356789
/proc/meminfo: memFree=1559648/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=69396 memory=43968 CPUtime=1721.02 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 12513 0 0 0 172095 7 0 0 20 0 1 0 189317575 71061504 10992 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 17349 10992 1530 2 0 9758 0
Current children cumulated CPU time: 1721.02 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 43968 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.58 4.60 4.10 7/456 356790
/proc/meminfo: memFree=1559396/3726824 swapFree=8388604/8388604
[pid=356481] ppid=356479 vsize=69396 memory=43968 CPUtime=1738.08 cores=2
/proc/356481/stat : 356481 (pigeonPur.py) R 356479 356481 356464 0 -1 4194304 12513 0 0 0 173801 7 0 0 20 0 1 0 189317575 71061504 10992 18446744073709551615 93955458387968 93955458392080 140735743897552 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93955460492544 93955460493316 93955461668864 140735743902272 140735743902346 140735743902346 140735743905769 0
/proc/356481/statm: 17349 10992 1530 2 0 9758 0
Current children cumulated CPU time: 1738.08 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 43968 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[] -> []

[-1] -> []

[-1, -2] -> []

[-1, -2, -3] -> []

[-1, -2, -3, -4] -> []

[-1, -2, -3, -4, -5] -> []

[-1, -2, -3, -4, -5, -6] -> []

[-1, -2, -3, -4, -5, -6, -7] -> []

[-1, -2, -3, -4, -5, -6, -7, -8] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22] -> []

[-1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, -22, -23] -> []


Detected pigeons:

[startup+1800.12 s]
# the end of solver process 356481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1738.1 s, system=0.076004 s

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

Child status: 1
Real time (s): 1800.12
CPU time (s): 1738.17
CPU user time (s): 1738.1
CPU system time (s): 0.076004
CPU usage (%): 96.5586
Max. virtual memory (cumulated for all children) (KiB): 69396
Max. memory (cumulated for all children) (KiB): 43968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.1
system time used= 0.076004
maximum resident set size= 43968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12515
page faults= 0
swaps= 0
block input operations= 344
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 43672


# summary of solver processes directly reported to runsolver:
#   pid: 356481
#   total CPU time (s): 1738.17
#   total CPU user time (s): 1738.1
#   total CPU system time (s): 0.076004

??? end of timestamper thread
runsolver used 16.4093 second user time and 24.6619 second system time

The end
