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

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

running on 1 cores: 0

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


[startup+0.100725 s]*
/proc/loadavg: 0.00 0.00 0.00 7/458 356489
/proc/meminfo: memFree=1704364/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=40872 memory=13808 CPUtime=0.09 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2318 0 0 0 9 0 0 0 20 0 1 0 189317575 41852928 3452 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10218 3452 1517 2 0 2627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40872 KiB
Current children cumulated memory: 13808 KiB

[startup+0.235729 s]*
/proc/loadavg: 0.00 0.00 0.00 7/458 356489
/proc/meminfo: memFree=1693276/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=0.2 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2793 0 0 0 20 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+0.326725 s]*
/proc/loadavg: 0.00 0.00 0.00 8/458 356489
/proc/meminfo: memFree=1692268/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=0.27 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 27 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+0.700722 s]
/proc/loadavg: 0.00 0.00 0.00 7/458 356489
/proc/meminfo: memFree=1691008/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=0.57 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 57 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+1.50073 s]
/proc/loadavg: 0.00 0.00 0.00 7/458 356489
/proc/meminfo: memFree=1690872/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=1.34 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 134 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+3.13172 s]
/proc/loadavg: 0.48 0.10 0.03 7/458 356489
/proc/meminfo: memFree=1690116/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=2.92 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 292 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+6.30072 s]
/proc/loadavg: 0.48 0.10 0.03 7/458 356489
/proc/meminfo: memFree=1689988/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=6 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 600 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+12.7007 s]
/proc/loadavg: 0.84 0.18 0.06 7/458 356489
/proc/meminfo: memFree=1689484/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=12.23 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 1223 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+25.5007 s]
/proc/loadavg: 1.68 0.40 0.13 7/458 356489
/proc/meminfo: memFree=1689568/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=24.66 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 2466 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 24.66 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+51.1267 s]
/proc/loadavg: 2.55 0.71 0.24 7/458 356498
/proc/meminfo: memFree=1687548/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=49.53 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 4953 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 49.53 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 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=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=99.27 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 9927 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 99.27 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+162.301 s]
/proc/loadavg: 4.16 1.88 0.72 8/458 356516
/proc/meminfo: memFree=1685972/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=157.48 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 15748 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 157.48 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+222.301 s]
/proc/loadavg: 4.06 2.27 0.93 7/455 356526
/proc/meminfo: memFree=1684964/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=215.7 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 21570 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 215.7 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+282.301 s]
/proc/loadavg: 4.02 2.59 1.13 9/456 356537
/proc/meminfo: memFree=1684960/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=273.99 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 27399 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 273.99 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 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=356483] ppid=356480 vsize=42408 memory=15656 CPUtime=332.3 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 2794 0 0 0 33230 0 0 0 20 0 1 0 189317575 43425792 3914 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10602 3914 1517 2 0 3011 0
Current children cumulated CPU time: 332.3 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 15656 KiB

[startup+402.301 s]
/proc/loadavg: 4.11 3.09 1.49 8/455 356556
/proc/meminfo: memFree=1677400/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=43432 memory=16828 CPUtime=390.56 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 3224 0 0 0 39056 0 0 0 20 0 1 0 189317575 44474368 4207 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10858 4207 1517 2 0 3267 0
Current children cumulated CPU time: 390.56 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 16828 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=356483] ppid=356480 vsize=43432 memory=16828 CPUtime=448.72 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 3224 0 0 0 44872 0 0 0 20 0 1 0 189317575 44474368 4207 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 10858 4207 1517 2 0 3267 0
Current children cumulated CPU time: 448.72 s
Current children cumulated vsize: 43432 KiB
Current children cumulated memory: 16828 KiB

[startup+522.301 s]
/proc/loadavg: 4.38 3.50 1.84 9/455 356575
/proc/meminfo: memFree=1660232/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=45868 memory=19072 CPUtime=506.81 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 4028 0 0 0 50680 1 0 0 20 0 1 0 189317575 46968832 4768 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 11467 4768 1517 2 0 3876 0
Current children cumulated CPU time: 506.81 s
Current children cumulated vsize: 45868 KiB
Current children cumulated memory: 19072 KiB

[startup+582.301 s]
/proc/loadavg: 4.49 3.70 2.01 7/455 356585
/proc/meminfo: memFree=1656420/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=46804 memory=20092 CPUtime=564.93 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 4439 0 0 0 56492 1 0 0 20 0 1 0 189317575 47927296 5023 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 11701 5023 1517 2 0 4110 0
Current children cumulated CPU time: 564.93 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20092 KiB

[startup+642.301 s]
/proc/loadavg: 4.64 3.89 2.19 9/455 356596
/proc/meminfo: memFree=1655916/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=46804 memory=20092 CPUtime=623.15 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 4439 0 0 0 62314 1 0 0 20 0 1 0 189317575 47927296 5023 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 11701 5023 1517 2 0 4110 0
Current children cumulated CPU time: 623.15 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20092 KiB

[startup+702.301 s]
/proc/loadavg: 4.46 3.98 2.32 7/455 356605
/proc/meminfo: memFree=1653136/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=46804 memory=20092 CPUtime=681.27 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 4439 0 0 0 68126 1 0 0 20 0 1 0 189317575 47927296 5023 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 11701 5023 1517 2 0 4110 0
Current children cumulated CPU time: 681.27 s
Current children cumulated vsize: 46804 KiB
Current children cumulated memory: 20092 KiB

[startup+762.309 s]
/proc/loadavg: 4.25 4.01 2.44 8/455 356615
/proc/meminfo: memFree=1633452/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=49184 memory=23912 CPUtime=739.49 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 5276 0 0 0 73947 2 0 0 20 0 1 0 189317575 50364416 5978 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 12296 5978 1517 2 0 4705 0
Current children cumulated CPU time: 739.49 s
Current children cumulated vsize: 49184 KiB
Current children cumulated memory: 23912 KiB

[startup+822.301 s]
/proc/loadavg: 4.33 4.09 2.57 7/456 356626
/proc/meminfo: memFree=1631656/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=49184 memory=23912 CPUtime=797.57 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 5277 0 0 0 79755 2 0 0 20 0 1 0 189317575 50364416 5978 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 12296 5978 1517 2 0 4705 0
Current children cumulated CPU time: 797.57 s
Current children cumulated vsize: 49184 KiB
Current children cumulated memory: 23912 KiB

[startup+882.301 s]
/proc/loadavg: 4.26 4.11 2.68 8/456 356635
/proc/meminfo: memFree=1612976/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=56048 memory=30712 CPUtime=855.75 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 7699 0 0 0 85572 3 0 0 20 0 1 0 189317575 57393152 7678 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14012 7678 1517 2 0 6421 0
Current children cumulated CPU time: 855.75 s
Current children cumulated vsize: 56048 KiB
Current children cumulated memory: 30712 KiB

[startup+942.301 s]
/proc/loadavg: 4.15 4.10 2.77 8/457 356646
/proc/meminfo: memFree=1608692/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=57072 memory=31864 CPUtime=913.89 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8089 0 0 0 91386 3 0 0 20 0 1 0 189317575 58441728 7966 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14268 7966 1517 2 0 6677 0
Current children cumulated CPU time: 913.89 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31864 KiB

[startup+1002.31 s]
/proc/loadavg: 4.80 4.27 2.91 8/457 356657
/proc/meminfo: memFree=1608660/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=57072 memory=31864 CPUtime=972.05 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8089 0 0 0 97202 3 0 0 20 0 1 0 189317575 58441728 7966 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14268 7966 1517 2 0 6677 0
Current children cumulated CPU time: 972.05 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31864 KiB

[startup+1062.3 s]
/proc/loadavg: 6.40 4.82 3.19 7/458 356667
/proc/meminfo: memFree=1608408/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=57072 memory=31864 CPUtime=1030.17 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8089 0 0 0 103014 3 0 0 20 0 1 0 189317575 58441728 7966 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14268 7966 1517 2 0 6677 0
Current children cumulated CPU time: 1030.17 s
Current children cumulated vsize: 57072 KiB
Current children cumulated memory: 31864 KiB

[startup+1122.3 s]
/proc/loadavg: 7.71 5.47 3.51 10/456 356676
/proc/meminfo: memFree=1606612/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=58056 memory=33040 CPUtime=1088.29 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8509 0 0 0 108826 3 0 0 20 0 1 0 189317575 59449344 8260 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14514 8260 1517 2 0 6923 0
Current children cumulated CPU time: 1088.29 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 33040 KiB

[startup+1182.3 s]
/proc/loadavg: 7.51 5.83 3.76 7/456 356685
/proc/meminfo: memFree=1606108/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=58056 memory=33040 CPUtime=1146.41 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8509 0 0 0 114638 3 0 0 20 0 1 0 189317575 59449344 8260 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14514 8260 1517 2 0 6923 0
Current children cumulated CPU time: 1146.41 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 33040 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=356483] ppid=356480 vsize=59292 memory=34020 CPUtime=1204.51 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 8928 0 0 0 120448 3 0 0 20 0 1 0 189317575 60715008 8505 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 14823 8505 1517 2 0 7232 0
Current children cumulated CPU time: 1204.51 s
Current children cumulated vsize: 59292 KiB
Current children cumulated memory: 34020 KiB

[startup+1302.3 s]
/proc/loadavg: 5.13 5.56 3.92 7/455 356711
/proc/meminfo: memFree=1598736/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=63980 memory=38700 CPUtime=1262.69 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 10584 0 0 0 126265 4 0 0 20 0 1 0 189317575 65515520 9675 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 15995 9675 1517 2 0 8404 0
Current children cumulated CPU time: 1262.69 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 38700 KiB

[startup+1362.3 s]
/proc/loadavg: 4.61 5.33 3.95 8/455 356720
/proc/meminfo: memFree=1589632/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=66196 memory=40916 CPUtime=1320.87 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 11350 0 0 0 132083 4 0 0 20 0 1 0 189317575 67784704 10229 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 16549 10229 1517 2 0 8958 0
Current children cumulated CPU time: 1320.87 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40916 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=356483] ppid=356480 vsize=66196 memory=40916 CPUtime=1379.06 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 11350 0 0 0 137902 4 0 0 20 0 1 0 189317575 67784704 10229 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 16549 10229 1517 2 0 8958 0
Current children cumulated CPU time: 1379.06 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40916 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.89 3.96 7/455 356738
/proc/meminfo: memFree=1589096/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=66196 memory=40916 CPUtime=1437.17 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 11350 0 0 0 143713 4 0 0 20 0 1 0 189317575 67784704 10229 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 16549 10229 1517 2 0 8958 0
Current children cumulated CPU time: 1437.17 s
Current children cumulated vsize: 66196 KiB
Current children cumulated memory: 40916 KiB

[startup+1542.3 s]
/proc/loadavg: 4.03 4.72 3.97 8/456 356749
/proc/meminfo: memFree=1587836/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=67176 memory=41968 CPUtime=1495.3 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 11763 0 0 0 149526 4 0 0 20 0 1 0 189317575 68788224 10492 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 16794 10492 1517 2 0 9203 0
Current children cumulated CPU time: 1495.3 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 41968 KiB

[startup+1602.3 s]
/proc/loadavg: 4.01 4.59 3.98 9/455 356758
/proc/meminfo: memFree=1585788/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=68412 memory=43240 CPUtime=1553.33 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 12110 0 0 0 155329 4 0 0 20 0 1 0 189317575 70053888 10810 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 17103 10810 1517 2 0 9512 0
Current children cumulated CPU time: 1553.33 s
Current children cumulated vsize: 68412 KiB
Current children cumulated memory: 43240 KiB

[startup+1662.3 s]
/proc/loadavg: 4.39 4.58 4.01 7/457 356770
/proc/meminfo: memFree=1577724/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=69396 memory=44380 CPUtime=1611.37 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 12513 0 0 0 161132 5 0 0 20 0 1 0 189317575 71061504 11095 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 17349 11095 1517 2 0 9758 0
Current children cumulated CPU time: 1611.37 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 44380 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=356483] ppid=356480 vsize=69396 memory=44380 CPUtime=1669.49 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 12513 0 0 0 166944 5 0 0 20 0 1 0 189317575 71061504 11095 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 17349 11095 1517 2 0 9758 0
Current children cumulated CPU time: 1669.49 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 44380 KiB

[startup+1782.3 s]
/proc/loadavg: 4.53 4.59 4.09 7/456 356789
/proc/meminfo: memFree=1559648/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=69396 memory=44384 CPUtime=1727.69 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 12514 0 0 0 172764 5 0 0 20 0 1 0 189317575 71061504 11096 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 17349 11096 1517 2 0 9758 0
Current children cumulated CPU time: 1727.69 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 44384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.58 4.60 4.10 8/456 356790
/proc/meminfo: memFree=1559396/3726824 swapFree=8388604/8388604
[pid=356483] ppid=356480 vsize=69396 memory=44384 CPUtime=1744.9 cores=0
/proc/356483/stat : 356483 (pigeonPur.py) R 356480 356483 356449 0 -1 4194304 12514 0 0 0 174485 5 0 0 20 0 1 0 189317575 71061504 11096 18446744073709551615 94918287286272 94918287290384 140733559463568 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94918289390848 94918289391620 94918314770432 140733559468606 140733559468682 140733559468682 140733559472105 0
/proc/356483/statm: 17349 11096 1517 2 0 9758 0
Current children cumulated CPU time: 1744.9 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 44384 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.11 s]
# the end of solver process 356483 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.92 s, system=0.057338 s

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

Child status: 1
Real time (s): 1800.11
CPU time (s): 1744.97
CPU user time (s): 1744.92
CPU system time (s): 0.057338
CPU usage (%): 96.9373
Max. virtual memory (cumulated for all children) (KiB): 69396
Max. memory (cumulated for all children) (KiB): 44384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.92
system time used= 0.057338
maximum resident set size= 44384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12516
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= 18
involuntary context switches= 42759


# summary of solver processes directly reported to runsolver:
#   pid: 356483
#   total CPU time (s): 1744.97
#   total CPU user time (s): 1744.92
#   total CPU system time (s): 0.057338

??? end of timestamper thread
runsolver used 16.6514 second user time and 24.7461 second system time

The end
