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

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

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1687 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/QG/qg3-09.cnf 

running on 1 cores: 0

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


[startup+0.100576 s]*
/proc/loadavg: 0.00 0.00 0.39 5/439 419148
/proc/meminfo: memFree=1715020/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=0.1 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2428 0 0 0 9 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+0.235569 s]*
/proc/loadavg: 0.00 0.00 0.39 4/439 419148
/proc/meminfo: memFree=1714516/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=0.21 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2428 0 0 0 20 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+0.325575 s]*
/proc/loadavg: 0.00 0.00 0.39 4/439 419148
/proc/meminfo: memFree=1714012/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=0.27 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2428 0 0 0 26 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+0.700569 s]
/proc/loadavg: 0.16 0.03 0.40 5/439 419148
/proc/meminfo: memFree=1713256/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=0.58 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2428 0 0 0 57 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+1.50058 s]
/proc/loadavg: 0.16 0.03 0.40 4/439 419148
/proc/meminfo: memFree=1713256/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=1.35 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2436 0 0 0 134 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+3.12459 s]
/proc/loadavg: 0.16 0.03 0.40 4/439 419148
/proc/meminfo: memFree=1713228/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=2.92 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2456 0 0 0 291 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+6.30058 s]
/proc/loadavg: 0.31 0.07 0.41 4/439 419148
/proc/meminfo: memFree=1713164/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=6.01 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2462 0 0 0 600 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+12.7006 s]
/proc/loadavg: 0.44 0.10 0.42 4/439 419148
/proc/meminfo: memFree=1713164/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=12.23 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2463 0 0 0 1222 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+25.5006 s]
/proc/loadavg: 0.68 0.16 0.44 4/440 419149
/proc/meminfo: memFree=1713248/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=24.66 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2464 0 0 0 2465 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 24.66 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+51.1396 s]
/proc/loadavg: 1.20 0.34 0.49 5/439 419149
/proc/meminfo: memFree=1712712/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14476 CPUtime=49.54 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2470 0 0 0 4953 1 0 0 20 0 1 0 225828114 43130880 3619 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3619 1535 2 0 2939 0
Current children cumulated CPU time: 49.54 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14476 KiB

[startup+102.301 s]
/proc/loadavg: 1.66 0.60 0.57 4/440 419160
/proc/meminfo: memFree=1712488/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=99.21 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2478 0 0 0 9920 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 99.21 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.66 4/441 419170
/proc/meminfo: memFree=1711952/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=157.49 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2488 0 0 0 15748 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 157.49 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+222.301 s]
/proc/loadavg: 1.96 1.07 0.75 4/440 419182
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=215.87 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2492 0 0 0 21586 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 215.87 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+282.301 s]
/proc/loadavg: 1.99 1.24 0.83 4/440 419191
/proc/meminfo: memFree=1711444/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=274.26 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2500 0 0 0 27425 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 274.26 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+342.301 s]
/proc/loadavg: 2.00 1.38 0.91 4/439 419200
/proc/meminfo: memFree=1711412/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=332.65 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2502 0 0 0 33264 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 332.65 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+402.301 s]
/proc/loadavg: 2.05 1.51 0.98 4/439 419211
/proc/meminfo: memFree=1711160/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=391.04 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2507 0 0 0 39103 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 391.04 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+462.301 s]
/proc/loadavg: 2.14 1.63 1.06 5/440 419221
/proc/meminfo: memFree=1711128/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=449.43 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2510 0 0 0 44942 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 449.43 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+522.301 s]
/proc/loadavg: 2.05 1.70 1.12 4/440 419230
/proc/meminfo: memFree=1711096/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=507.82 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2513 0 0 0 50781 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 507.82 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+582.301 s]
/proc/loadavg: 2.02 1.76 1.18 4/440 419239
/proc/meminfo: memFree=1710844/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=566.2 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2518 0 0 0 56619 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 566.2 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+642.301 s]
/proc/loadavg: 2.00 1.81 1.23 4/440 419249
/proc/meminfo: memFree=1711064/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=624.6 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2520 0 0 0 62459 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 624.6 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+702.301 s]
/proc/loadavg: 2.00 1.84 1.28 5/441 419260
/proc/meminfo: memFree=1710560/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=14740 CPUtime=682.99 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2525 0 0 0 68298 1 0 0 20 0 1 0 225828114 43130880 3685 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 3685 1535 2 0 2939 0
Current children cumulated CPU time: 682.99 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 14740 KiB

[startup+762.301 s]
/proc/loadavg: 2.00 1.87 1.33 5/442 419271
/proc/meminfo: memFree=1708260/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16344 CPUtime=741.41 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2532 0 0 0 74140 1 0 0 20 0 1 0 225828114 43130880 4086 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4086 1535 2 0 2939 0
Current children cumulated CPU time: 741.41 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16344 KiB

[startup+822.301 s]
/proc/loadavg: 2.04 1.92 1.38 4/441 419281
/proc/meminfo: memFree=1708172/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16344 CPUtime=799.84 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2533 0 0 0 79983 1 0 0 20 0 1 0 225828114 43130880 4086 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4086 1535 2 0 2939 0
Current children cumulated CPU time: 799.84 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16344 KiB

[startup+882.301 s]
/proc/loadavg: 2.14 1.96 1.43 4/441 419290
/proc/meminfo: memFree=1708480/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16344 CPUtime=858.28 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2537 0 0 0 85827 1 0 0 20 0 1 0 225828114 43130880 4086 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4086 1535 2 0 2939 0
Current children cumulated CPU time: 858.28 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16344 KiB

[startup+942.301 s]
/proc/loadavg: 2.22 2.02 1.49 4/441 419310
/proc/meminfo: memFree=1707692/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=916.71 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2541 0 0 0 91670 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 916.71 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1002.3 s]
/proc/loadavg: 2.16 2.03 1.53 4/440 419320
/proc/meminfo: memFree=1708164/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=975.13 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2544 0 0 0 97512 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 975.13 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.56 5/438 419329
/proc/meminfo: memFree=1707912/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1033.58 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2545 0 0 0 103357 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1033.58 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.59 4/440 419340
/proc/meminfo: memFree=1708384/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1092.01 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2549 0 0 0 109200 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1092.01 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.62 4/440 419349
/proc/meminfo: memFree=1707880/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1150.44 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2552 0 0 0 115043 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1150.44 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.65 4/440 419359
/proc/meminfo: memFree=1708100/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1208.88 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2555 0 0 0 120887 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1208.88 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.67 4/440 419369
/proc/meminfo: memFree=1707848/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1267.31 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2558 0 0 0 126730 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1267.31 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.69 4/441 419379
/proc/meminfo: memFree=1708068/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1325.74 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2561 0 0 0 132573 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1325.74 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 1.72 4/438 419389
/proc/meminfo: memFree=1708320/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1384.17 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2565 0 0 0 138416 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1384.17 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.75 4/440 419400
/proc/meminfo: memFree=1708036/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1442.6 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2569 0 0 0 144259 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1442.6 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 1.77 4/440 419409
/proc/meminfo: memFree=1708288/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1501.04 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2573 0 0 0 150103 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1501.04 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.79 5/440 419419
/proc/meminfo: memFree=1708004/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1559.48 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2577 0 0 0 155947 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1559.48 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/440 419428
/proc/meminfo: memFree=1708256/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1617.92 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2579 0 0 0 161791 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1617.92 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.82 5/440 419437
/proc/meminfo: memFree=1707972/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1676.35 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2584 0 0 0 167634 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1676.35 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/439 419447
/proc/meminfo: memFree=1707972/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1734.79 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2587 0 0 0 173478 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1734.79 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 2.00 2.00 1.83 5/439 419457
/proc/meminfo: memFree=1708224/3726824 swapFree=8388604/8388604
[pid=419147] ppid=419146 vsize=42120 memory=16600 CPUtime=1752.05 cores=0
/proc/419147/stat : 419147 (pigeonPurSampli) R 419146 419147 419130 0 -1 4194304 2588 0 0 0 175204 1 0 0 20 0 1 0 225828114 43130880 4150 18446744073709551615 94189543731200 94189543735312 140733934434992 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94189545835776 94189545836548 94189550952448 140733934436881 140733934436949 140733934436949 140733934440417 0
/proc/419147/statm: 10530 4150 1535 2 0 2939 0
Current children cumulated CPU time: 1752.05 s
Current children cumulated vsize: 42120 KiB
Current children cumulated memory: 16600 KiB

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

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 419147 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1752.08 s, system=0.017679 s

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

Child status: 1
Real time (s): 1800.06
CPU time (s): 1752.09
CPU user time (s): 1752.08
CPU system time (s): 0.017679
CPU usage (%): 97.3355
Max. virtual memory (cumulated for all children) (KiB): 42120
Max. memory (cumulated for all children) (KiB): 16600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.08
system time used= 0.017679
maximum resident set size= 16600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2590
page faults= 0
swaps= 0
block input operations= 448
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 27345


# summary of solver processes directly reported to runsolver:
#   pid: 419147
#   total CPU time (s): 1752.09
#   total CPU user time (s): 1752.08
#   total CPU system time (s): 0.017679

??? end of timestamper thread
runsolver used 16.0891 second user time and 21.9836 second system time

The end
