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

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

running on 1 cores: 0

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


[startup+0.100186 s]*
/proc/loadavg: 0.06 0.84 1.86 6/472 340286
/proc/meminfo: memFree=1743056/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=38804 memory=11152 CPUtime=0.05 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 1627 0 0 0 4 1 0 0 20 0 1 0 182536207 39735296 2788 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 2 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 9701 2788 1544 2 0 2110 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 38804 KiB
Current children cumulated memory: 11152 KiB

[startup+0.23842 s]*
/proc/loadavg: 0.06 0.84 1.86 7/472 340286
/proc/meminfo: memFree=1722360/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=0.15 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2406 0 0 0 14 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+0.326422 s]*
/proc/loadavg: 0.06 0.84 1.86 5/472 340286
/proc/meminfo: memFree=1718832/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=0.23 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2406 0 0 0 22 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+0.701422 s]
/proc/loadavg: 0.06 0.84 1.86 5/472 340286
/proc/meminfo: memFree=1717572/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=0.52 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2407 0 0 0 51 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1.50042 s]
/proc/loadavg: 0.06 0.84 1.86 7/474 340291
/proc/meminfo: memFree=1716540/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1.28 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2407 0 0 0 127 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+3.12542 s]
/proc/loadavg: 0.38 0.90 1.87 6/472 340294
/proc/meminfo: memFree=1716572/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=2.85 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 284 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+6.30944 s]
/proc/loadavg: 0.38 0.90 1.87 7/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=5.94 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 593 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+12.7004 s]
/proc/loadavg: 0.67 0.95 1.88 6/472 340294
/proc/meminfo: memFree=1716444/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=12.15 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 1214 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+25.5014 s]
/proc/loadavg: 1.41 1.10 1.92 6/470 340296
/proc/meminfo: memFree=1716412/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=24.56 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 2455 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 24.56 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+51.1284 s]
/proc/loadavg: 2.29 1.33 1.97 6/470 340296
/proc/meminfo: memFree=1716160/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=49.4 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 4939 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+102.301 s]
/proc/loadavg: 3.39 1.78 2.09 6/471 340306
/proc/meminfo: memFree=1715104/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=99.03 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 9902 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 99.03 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.22 2.22 6/471 340315
/proc/meminfo: memFree=1714568/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=157.23 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 15722 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 157.23 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.60 2.36 6/471 340325
/proc/meminfo: memFree=1713812/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=215.37 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2408 0 0 0 21536 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 215.37 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 2.91 2.48 6/472 340335
/proc/meminfo: memFree=1714032/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=273.54 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2409 0 0 0 27353 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 273.54 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 3.14 2.59 6/471 340344
/proc/meminfo: memFree=1714064/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=331.72 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2409 0 0 0 33171 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 331.72 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+402.3 s]
/proc/loadavg: 5.26 3.61 2.79 6/470 340355
/proc/meminfo: memFree=1713276/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=389.93 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2409 0 0 0 38992 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 389.93 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+462.3 s]
/proc/loadavg: 7.18 4.45 3.12 6/470 340364
/proc/meminfo: memFree=1713496/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=448.13 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2409 0 0 0 44812 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 448.13 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+522.3 s]
/proc/loadavg: 7.97 5.18 3.46 6/470 340374
/proc/meminfo: memFree=1707128/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=506.15 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 50614 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 506.15 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+582.3 s]
/proc/loadavg: 6.98 5.46 3.67 6/469 340384
/proc/meminfo: memFree=1707348/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=564.3 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 56429 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 564.3 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+642.3 s]
/proc/loadavg: 5.20 5.23 3.71 6/469 340393
/proc/meminfo: memFree=1707600/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=622.31 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 62230 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 622.31 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+702.3 s]
/proc/loadavg: 4.62 5.05 3.75 6/469 340413
/proc/meminfo: memFree=1707316/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=680.32 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 68031 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 680.32 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+762.3 s]
/proc/loadavg: 4.23 4.86 3.77 6/469 340423
/proc/meminfo: memFree=1707284/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=738.33 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 73832 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 738.33 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+822.3 s]
/proc/loadavg: 4.19 4.73 3.79 6/470 340434
/proc/meminfo: memFree=1707032/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=796.54 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 79653 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 796.54 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+882.3 s]
/proc/loadavg: 4.19 4.63 3.82 6/470 340443
/proc/meminfo: memFree=1706748/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=854.74 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 85473 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 854.74 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.51 3.83 6/470 340452
/proc/meminfo: memFree=1707252/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=912.95 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 91294 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 912.95 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.45 3.85 6/470 340462
/proc/meminfo: memFree=1707220/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=971.04 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 97103 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 971.04 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1062.3 s]
/proc/loadavg: 4.67 4.55 3.93 6/470 340472
/proc/meminfo: memFree=1706920/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1029.05 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 102904 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1029.05 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1122.3 s]
/proc/loadavg: 4.42 4.50 3.96 6/469 340482
/proc/meminfo: memFree=1706636/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1087 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 108699 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1087 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1182.3 s]
/proc/loadavg: 4.19 4.42 3.97 6/469 340492
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1145.2 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 114519 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1145.2 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1242.3 s]
/proc/loadavg: 4.23 4.39 3.99 6/469 340501
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1203.2 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 120319 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1203.2 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1302.31 s]
/proc/loadavg: 4.08 4.32 4.00 6/469 340510
/proc/meminfo: memFree=1707140/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1261.34 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 126133 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1261.34 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1362.3 s]
/proc/loadavg: 4.19 4.29 4.01 6/468 340519
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1319.56 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 131955 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1319.56 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1422.31 s]
/proc/loadavg: 4.71 4.41 4.07 6/469 340530
/proc/meminfo: memFree=1706888/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1377.67 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 137766 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1377.67 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1482.31 s]
/proc/loadavg: 4.74 4.47 4.11 6/469 340539
/proc/meminfo: memFree=1706856/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1435.89 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 143588 1 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1435.89 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1542.3 s]
/proc/loadavg: 4.35 4.41 4.11 6/469 340548
/proc/meminfo: memFree=1707108/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1494.09 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 149407 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1494.09 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1602.3 s]
/proc/loadavg: 4.18 4.35 4.11 6/469 340562
/proc/meminfo: memFree=1707076/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1552.32 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 155230 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1552.32 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.30 4.10 6/469 340571
/proc/meminfo: memFree=1706540/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1610.54 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 161052 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1610.54 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.26 4.09 6/469 340583
/proc/meminfo: memFree=1706508/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1668.75 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 166873 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1668.75 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.25 4.10 6/470 340594
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1726.89 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 172687 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1726.89 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.12 4.24 4.10 6/470 340595
/proc/meminfo: memFree=1705972/3717660 swapFree=8388604/8388604
[pid=340276] ppid=340273 vsize=41108 memory=14320 CPUtime=1744.07 cores=0
/proc/340276/stat : 340276 (pigeonPur.py) R 340273 340276 340244 0 -1 4194304 2410 0 0 0 174405 2 0 0 20 0 1 0 182536207 42094592 3580 18446744073709551615 94217473142784 94217473146896 140720450238096 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 5 0 0 94217475247360 94217475248132 94217505865728 140720450245103 140720450245204 140720450245204 140720450248681 0
/proc/340276/statm: 10277 3580 1544 2 0 2686 0
Current children cumulated CPU time: 1744.07 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 14320 KiB

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

Detected pigeons:

[startup+1800.08 s]
# the end of solver process 340276 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1744.08 s, system=0.024669 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): 1744.1
CPU user time (s): 1744.08
CPU system time (s): 0.024669
CPU usage (%): 96.8903
Max. virtual memory (cumulated for all children) (KiB): 41108
Max. memory (cumulated for all children) (KiB): 14320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.08
system time used= 0.024669
maximum resident set size= 14320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2412
page faults= 0
swaps= 0
block input operations= 208
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 102052


# summary of solver processes directly reported to runsolver:
#   pid: 340276
#   total CPU time (s): 1744.1
#   total CPU user time (s): 1744.08
#   total CPU system time (s): 0.024669

??? end of timestamper thread
runsolver used 16.4839 second user time and 23.7969 second system time

The end
