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: 15822 MiB (14916 MiB free)
  memory of node 1: 16124 MiB (15062 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPur.py ./benchmarks/sat-2002/biere/dinphil/dp11u10.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100951 s]*
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30666340/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=44384 memory=17176 CPUtime=0.08 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 3177 0 0 0 7 1 0 0 20 0 1 0 132907797 45449216 4294 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 11096 4294 1458 2 0 3508 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44384 KiB
Current children cumulated memory: 17176 KiB

[startup+0.227952 s]*
/proc/loadavg: 0.01 0.01 0.00 7/533 232576
/proc/meminfo: memFree=30646556/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=0.19 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4586 0 0 0 18 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+0.325952 s]*
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30645948/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=0.27 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4586 0 0 0 26 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+0.700947 s]
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30645668/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=0.59 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4588 0 0 0 58 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+1.50095 s]
/proc/loadavg: 0.01 0.01 0.00 6/533 232576
/proc/meminfo: memFree=30644976/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=1.37 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4591 0 0 0 136 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+3.11895 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30645116/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=2.95 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4596 0 0 0 294 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+6.30095 s]
/proc/loadavg: 0.25 0.06 0.02 6/533 232576
/proc/meminfo: memFree=30643656/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=48392 memory=21440 CPUtime=6.06 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 4605 0 0 0 605 1 0 0 20 0 1 0 132907797 49553408 5360 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12098 5360 1458 2 0 4510 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 48392 KiB
Current children cumulated memory: 21440 KiB

[startup+12.701 s]
/proc/loadavg: 0.47 0.10 0.03 6/533 232576
/proc/meminfo: memFree=30639156/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=12.33 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5087 0 0 0 1232 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+25.501 s]
/proc/loadavg: 1.03 0.25 0.08 6/534 232578
/proc/meminfo: memFree=30638924/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=24.84 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5087 0 0 0 2483 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 24.84 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+51.127 s]
/proc/loadavg: 1.70 0.47 0.16 6/534 232578
/proc/meminfo: memFree=30638068/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=49.89 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5087 0 0 0 4988 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 49.89 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+102.301 s]
/proc/loadavg: 2.60 0.92 0.33 6/535 232588
/proc/meminfo: memFree=30637676/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=99.93 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 9992 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 99.93 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+162.301 s]
/proc/loadavg: 2.85 1.30 0.50 6/535 232598
/proc/meminfo: memFree=30637632/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=158.6 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 15859 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 158.6 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+222.301 s]
/proc/loadavg: 2.95 1.61 0.66 6/535 232608
/proc/meminfo: memFree=30636968/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=217.26 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 21725 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 217.26 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 1.87 0.81 6/535 232618
/proc/meminfo: memFree=30636960/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=275.93 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 27592 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 275.93 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+342.301 s]
/proc/loadavg: 3.00 2.08 0.95 6/533 232627
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=334.6 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 33459 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 334.6 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+402.301 s]
/proc/loadavg: 3.00 2.25 1.08 6/533 232637
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=393.27 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 39326 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 393.27 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.39 1.20 6/533 232647
/proc/meminfo: memFree=30636956/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=451.95 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 45194 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 451.95 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.50 1.32 6/533 232656
/proc/meminfo: memFree=30636836/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=510.62 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 51061 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 510.62 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+582.301 s]
/proc/loadavg: 3.16 2.64 1.44 6/532 232667
/proc/meminfo: memFree=30636904/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=569.3 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 56929 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 569.3 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+642.301 s]
/proc/loadavg: 3.06 2.71 1.54 6/532 232676
/proc/meminfo: memFree=30636788/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=627.98 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 62797 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 627.98 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+702.301 s]
/proc/loadavg: 3.02 2.76 1.64 6/533 232686
/proc/meminfo: memFree=30636220/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=686.65 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 68664 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 686.65 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+762.301 s]
/proc/loadavg: 3.00 2.81 1.73 6/533 232695
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=745.33 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 74532 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 745.33 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+822.301 s]
/proc/loadavg: 3.00 2.85 1.81 6/533 232706
/proc/meminfo: memFree=30636192/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=804 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 80399 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 804 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+882.301 s]
/proc/loadavg: 3.00 2.88 1.89 6/533 232719
/proc/meminfo: memFree=30636236/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=862.67 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 86266 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 862.67 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+942.301 s]
/proc/loadavg: 3.00 2.90 1.96 6/533 232728
/proc/meminfo: memFree=30636136/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=921.35 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 92134 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 921.35 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1002.3 s]
/proc/loadavg: 3.00 2.92 2.03 6/532 232737
/proc/meminfo: memFree=30636300/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=980.02 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 98001 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 980.02 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1062.3 s]
/proc/loadavg: 3.46 3.04 2.12 6/533 232747
/proc/meminfo: memFree=30636264/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=1038.7 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 103869 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 1038.7 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1122.3 s]
/proc/loadavg: 5.10 3.59 2.37 6/533 232758
/proc/meminfo: memFree=30636256/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=1097.38 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5088 0 0 0 109737 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 1097.38 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1182.3 s]
/proc/loadavg: 5.35 3.97 2.58 6/533 232768
/proc/meminfo: memFree=30634440/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=1156.05 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5092 0 0 0 115604 1 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 1156.05 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1242.3 s]
/proc/loadavg: 4.14 3.87 2.64 6/533 232777
/proc/meminfo: memFree=30634380/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23284 CPUtime=1214.74 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5108 0 0 0 121472 2 0 0 20 0 1 0 132907797 51388416 5821 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5821 1458 2 0 4958 0
Current children cumulated CPU time: 1214.74 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23284 KiB

[startup+1302.3 s]
/proc/loadavg: 3.42 3.71 2.66 6/533 232788
/proc/meminfo: memFree=30634552/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1273.41 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5114 0 0 0 127339 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1273.41 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1362.3 s]
/proc/loadavg: 3.15 3.58 2.68 6/533 232799
/proc/meminfo: memFree=30634244/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1332.09 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5116 0 0 0 133207 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1332.09 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1422.3 s]
/proc/loadavg: 3.05 3.47 2.71 6/533 232809
/proc/meminfo: memFree=30634356/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1390.76 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5118 0 0 0 139074 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1390.76 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1482.3 s]
/proc/loadavg: 3.02 3.38 2.73 6/533 232820
/proc/meminfo: memFree=30634256/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1449.44 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5120 0 0 0 144942 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1449.44 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1542.3 s]
/proc/loadavg: 3.04 3.32 2.75 6/534 232830
/proc/meminfo: memFree=30634280/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1508.12 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5122 0 0 0 150810 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1508.12 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1602.3 s]
/proc/loadavg: 3.01 3.26 2.77 6/534 232839
/proc/meminfo: memFree=30634416/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1566.79 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5124 0 0 0 156677 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1566.79 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1662.3 s]
/proc/loadavg: 3.31 3.28 2.81 6/534 232848
/proc/meminfo: memFree=30634312/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1625.47 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5126 0 0 0 162545 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1625.47 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1722.3 s]
/proc/loadavg: 3.15 3.24 2.83 6/534 232859
/proc/meminfo: memFree=30634268/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1684.15 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5128 0 0 0 168413 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1684.15 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

[startup+1782.3 s]
/proc/loadavg: 3.06 3.19 2.84 6/534 232870
/proc/meminfo: memFree=30634248/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1742.82 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5130 0 0 0 174280 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1742.82 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.04 3.18 2.84 6/533 232879
/proc/meminfo: memFree=30634412/32713960 swapFree=33554428/33554428
[pid=232572] ppid=232568 vsize=50184 memory=23452 CPUtime=1760.15 cores=2
/proc/232572/stat : 232572 (pigeonPur.py) R 232568 232572 232553 0 -1 4194304 5130 0 0 0 176013 2 0 0 20 0 1 0 132907797 51388416 5863 18446744073709551615 94557277028352 94557277032464 140733652168032 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 2 0 0 94557279132928 94557279133700 94557289381888 140733652173280 140733652173369 140733652173369 140733652176873 0
/proc/232572/statm: 12546 5863 1458 2 0 4958 0
Current children cumulated CPU time: 1760.15 s
Current children cumulated vsize: 50184 KiB
Current children cumulated memory: 23452 KiB

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

Detected pigeons:

[startup+1800.08 s]
# the end of solver process 232572 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1760.16 s, system=0.02358 s

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

Child status: 1
Real time (s): 1800.08
CPU time (s): 1760.19
CPU user time (s): 1760.16
CPU system time (s): 0.02358
CPU usage (%): 97.7841
Max. virtual memory (cumulated for all children) (KiB): 50184
Max. memory (cumulated for all children) (KiB): 23452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.16
system time used= 0.02358
maximum resident set size= 23452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5133
page faults= 0
swaps= 0
block input operations= 728
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 24431


# summary of solver processes directly reported to runsolver:
#   pid: 232572
#   total CPU time (s): 1760.19
#   total CPU user time (s): 1760.16
#   total CPU system time (s): 0.02358

??? end of timestamper thread
runsolver used 14.3781 second user time and 18.1363 second system time

The end
