runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (14486 MiB free)
  memory of node 1: 16087 MiB (15216 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net40-40-1.shuffled.cnf 

running on 1 cores: 7

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


[startup+0.100061 s]*
/proc/loadavg: 1.11 0.25 0.08 7/487 912372
/proc/meminfo: memFree=30401684/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=38292 memory=10148 CPUtime=0.02 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1484 0 0 0 2 0 0 0 20 0 1 0 481984563 39211008 2537 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 2 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 9573 2537 1425 2 0 1985 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 10148 KiB

[startup+0.21976 s]*
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30395000/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=0.12 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1979 0 0 0 12 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+0.322761 s]*
/proc/loadavg: 1.11 0.25 0.08 9/487 912372
/proc/meminfo: memFree=30394164/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=0.2 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1979 0 0 0 20 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+0.70076 s]
/proc/loadavg: 1.11 0.25 0.08 9/487 912372
/proc/meminfo: memFree=30393364/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=0.53 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1979 0 0 0 53 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+1.50076 s]
/proc/loadavg: 1.11 0.25 0.08 10/487 912372
/proc/meminfo: memFree=30392840/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=1.31 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1980 0 0 0 131 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+3.13276 s]
/proc/loadavg: 1.11 0.25 0.08 10/486 912372
/proc/meminfo: memFree=30392896/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=2.9 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 1988 0 0 0 290 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+6.30076 s]
/proc/loadavg: 1.74 0.39 0.13 10/486 912372
/proc/meminfo: memFree=30392212/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=6 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2020 0 0 0 600 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+12.7098 s]
/proc/loadavg: 2.24 0.52 0.17 10/486 912372
/proc/meminfo: memFree=30391744/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12380 CPUtime=12.27 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2025 0 0 0 1227 0 0 0 20 0 1 0 481984563 41046016 3095 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3095 1457 2 0 2433 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12380 KiB

[startup+25.5008 s]
/proc/loadavg: 3.52 0.89 0.30 10/486 912372
/proc/meminfo: memFree=30390768/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12704 CPUtime=24.76 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2073 0 0 0 2476 0 0 0 20 0 1 0 481984563 41046016 3176 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3176 1473 2 0 2433 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12704 KiB

[startup+51.1278 s]
/proc/loadavg: 5.11 1.47 0.51 10/486 912380
/proc/meminfo: memFree=30383736/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12704 CPUtime=49.79 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2077 0 0 0 4979 0 0 0 20 0 1 0 481984563 41046016 3176 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3176 1473 2 0 2433 0
Current children cumulated CPU time: 49.79 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12704 KiB

[startup+102.301 s]
/proc/loadavg: 6.85 2.51 0.91 10/486 912381
/proc/meminfo: memFree=30382984/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12704 CPUtime=99.8 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2079 0 0 0 9980 0 0 0 20 0 1 0 481984563 41046016 3176 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3176 1473 2 0 2433 0
Current children cumulated CPU time: 99.8 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12704 KiB

[startup+162.301 s]
/proc/loadavg: 7.71 3.56 1.38 10/485 912391
/proc/meminfo: memFree=30381224/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=158.44 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2104 0 0 0 15843 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 158.44 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+222.301 s]
/proc/loadavg: 7.89 4.37 1.79 10/485 912400
/proc/meminfo: memFree=30379972/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=217.06 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2104 0 0 0 21705 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 217.06 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+282.301 s]
/proc/loadavg: 7.96 5.03 2.19 10/485 912409
/proc/meminfo: memFree=30379644/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=275.67 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2117 0 0 0 27566 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 275.67 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+342.301 s]
/proc/loadavg: 8.23 5.64 2.57 10/482 912418
/proc/meminfo: memFree=30378752/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=334.3 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2121 0 0 0 33429 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 334.3 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+402.301 s]
/proc/loadavg: 8.26 6.12 2.93 10/482 912428
/proc/meminfo: memFree=30377628/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=392.94 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2140 0 0 0 39293 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 392.94 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+462.301 s]
/proc/loadavg: 8.46 6.57 3.29 10/483 912438
/proc/meminfo: memFree=30377000/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=451.58 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2140 0 0 0 45157 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 451.58 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+522.301 s]
/proc/loadavg: 8.34 6.88 3.60 10/483 912448
/proc/meminfo: memFree=30376872/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=510.21 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2140 0 0 0 51020 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 510.21 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.13 3.90 10/483 912458
/proc/meminfo: memFree=30376564/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=568.84 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2140 0 0 0 56883 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 568.84 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+642.301 s]
/proc/loadavg: 8.10 7.29 4.15 10/484 912469
/proc/meminfo: memFree=30376308/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=627.47 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2140 0 0 0 62746 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 627.47 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+702.301 s]
/proc/loadavg: 8.03 7.42 4.40 10/484 912479
/proc/meminfo: memFree=30374780/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=686.08 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2141 0 0 0 68607 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 686.08 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+762.301 s]
/proc/loadavg: 8.04 7.54 4.63 10/484 912490
/proc/meminfo: memFree=30374704/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=744.7 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2141 0 0 0 74469 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 744.7 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+822.301 s]
/proc/loadavg: 8.36 7.72 4.88 11/484 912499
/proc/meminfo: memFree=30374792/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=803.33 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2142 0 0 0 80332 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 803.33 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+882.301 s]
/proc/loadavg: 8.33 7.84 5.10 10/484 912509
/proc/meminfo: memFree=30374756/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40084 memory=12968 CPUtime=861.96 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2143 0 0 0 86195 1 0 0 20 0 1 0 481984563 41046016 3242 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10021 3242 1473 2 0 2433 0
Current children cumulated CPU time: 861.96 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 12968 KiB

[startup+942.301 s]
/proc/loadavg: 8.54 7.98 5.32 10/483 912518
/proc/meminfo: memFree=30374144/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13496 CPUtime=920.59 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2283 0 0 0 92058 1 0 0 20 0 1 0 481984563 41467904 3374 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3374 1473 2 0 2536 0
Current children cumulated CPU time: 920.59 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13496 KiB

[startup+1002.3 s]
/proc/loadavg: 8.55 8.09 5.52 10/483 912536
/proc/meminfo: memFree=30373848/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=979.22 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2298 0 0 0 97921 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 979.22 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1062.3 s]
/proc/loadavg: 8.45 8.15 5.71 10/483 912546
/proc/meminfo: memFree=30373612/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1037.84 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2298 0 0 0 103783 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1037.84 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1122.3 s]
/proc/loadavg: 8.20 8.13 5.86 10/483 912556
/proc/meminfo: memFree=30373328/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1096.48 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2298 0 0 0 109647 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1096.48 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 6.00 11/483 912566
/proc/meminfo: memFree=30372736/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1155.11 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2299 0 0 0 115510 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1155.11 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1242.3 s]
/proc/loadavg: 8.02 8.08 6.12 10/483 912576
/proc/meminfo: memFree=30372424/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1213.74 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2300 0 0 0 121373 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1213.74 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1302.3 s]
/proc/loadavg: 8.30 8.14 6.27 10/483 912596
/proc/meminfo: memFree=30372160/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1272.37 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 127236 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1272.37 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1362.3 s]
/proc/loadavg: 8.39 8.21 6.41 11/482 912606
/proc/meminfo: memFree=30372000/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1330.97 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 133096 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1330.97 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1422.3 s]
/proc/loadavg: 8.43 8.26 6.55 10/482 912615
/proc/meminfo: memFree=30371900/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1389.59 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 138958 1 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1389.59 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.28 6.67 10/482 912624
/proc/meminfo: memFree=30371712/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1448.23 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 144821 2 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1448.23 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1542.3 s]
/proc/loadavg: 8.20 8.24 6.76 10/482 912633
/proc/meminfo: memFree=30371824/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1506.85 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 150683 2 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1506.85 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1602.3 s]
/proc/loadavg: 8.33 8.27 6.86 10/482 912643
/proc/meminfo: memFree=30371804/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1565.48 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2301 0 0 0 156546 2 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1565.48 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.22 6.94 10/483 912653
/proc/meminfo: memFree=30371588/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40496 memory=13760 CPUtime=1624.1 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2302 0 0 0 162408 2 0 0 20 0 1 0 481984563 41467904 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10124 3440 1473 2 0 2536 0
Current children cumulated CPU time: 1624.1 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 13760 KiB

[startup+1722.3 s]
/proc/loadavg: 8.04 8.18 7.01 10/483 912663
/proc/meminfo: memFree=30370804/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40636 memory=13760 CPUtime=1682.71 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2341 0 0 0 168269 2 0 0 20 0 1 0 481984563 41611264 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10159 3440 1473 2 0 2571 0
Current children cumulated CPU time: 1682.71 s
Current children cumulated vsize: 40636 KiB
Current children cumulated memory: 13760 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.16 7.08 10/483 912673
/proc/meminfo: memFree=30370820/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40636 memory=13760 CPUtime=1741.33 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2341 0 0 0 174131 2 0 0 20 0 1 0 481984563 41611264 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10159 3440 1473 2 0 2571 0
Current children cumulated CPU time: 1741.33 s
Current children cumulated vsize: 40636 KiB
Current children cumulated memory: 13760 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.95 7.90 7.02 5/444 912693
/proc/meminfo: memFree=30456636/32713960 swapFree=33554428/33554428
[pid=912367] ppid=912364 vsize=40636 memory=13760 CPUtime=1758.7 cores=7
/proc/912367/stat : 912367 (pigeonPurSampli) R 912364 912367 912356 0 -1 4194304 2341 0 0 0 175868 2 0 0 20 0 1 0 481984563 41611264 3440 18446744073709551615 94702424649728 94702424653840 140736370738000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 481984570 0 0 94702426754304 94702426755076 94702459715584 140736370745876 140736370745986 140736370745986 140736370749409 0
/proc/912367/statm: 10159 3440 1473 2 0 2571 0
Current children cumulated CPU time: 1758.7 s
Current children cumulated vsize: 40636 KiB
Current children cumulated memory: 13760 KiB

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

Detected pigeons:

[startup+1800.03 s]
# the end of solver process 912367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1758.7 s, system=0.026493 s

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

Child status: 1
Real time (s): 1800.03
CPU time (s): 1758.72
CPU user time (s): 1758.7
CPU system time (s): 0.026493
CPU usage (%): 97.705
Max. virtual memory (cumulated for all children) (KiB): 40636
Max. memory (cumulated for all children) (KiB): 13760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.7
system time used= 0.026493
maximum resident set size= 13760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2343
page faults= 0
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 37684


# summary of solver processes directly reported to runsolver:
#   pid: 912367
#   total CPU time (s): 1758.72
#   total CPU user time (s): 1758.7
#   total CPU system time (s): 0.026493

??? end of timestamper thread
runsolver used 14.4357 second user time and 19.3726 second system time

The end
