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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 15822 MiB (14923 MiB free)
  memory of node 1: 16124 MiB (15022 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net60-60-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-301.1.el8.x86_64
solver pid=330484, runsolver pid=330478
Current StackSize limit: 8192 KiB


[startup+0.10751 s]*
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30620748/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=41852 memory=14408 CPUtime=0.05 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2471 0 0 0 5 0 0 0 20 0 1 0 191297383 42856448 3602 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 2 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10463 3602 1505 2 0 2875 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 41852 KiB
Current children cumulated memory: 14408 KiB

[startup+0.220506 s]*
/proc/loadavg: 0.05 0.01 0.00 6/550 330492
/proc/meminfo: memFree=30616120/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=0.14 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2806 0 0 0 14 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+0.318506 s]*
/proc/loadavg: 0.05 0.01 0.00 6/550 330492
/proc/meminfo: memFree=30615020/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=0.23 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2806 0 0 0 23 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+0.700504 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613400/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=0.55 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2807 0 0 0 55 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+1.5005 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613132/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=1.33 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2807 0 0 0 133 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+3.1225 s]
/proc/loadavg: 0.05 0.01 0.00 9/550 330492
/proc/meminfo: memFree=30613384/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=2.9 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2807 0 0 0 290 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+6.30051 s]
/proc/loadavg: 0.45 0.10 0.03 9/551 330496
/proc/meminfo: memFree=30612568/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=15728 CPUtime=6 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2817 0 0 0 600 0 0 0 20 0 1 0 191297383 44167168 3932 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 3932 1505 2 0 3195 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15728 KiB

[startup+12.7005 s]
/proc/loadavg: 0.81 0.18 0.06 9/551 330496
/proc/meminfo: memFree=30611752/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=16024 CPUtime=12.25 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2859 0 0 0 1225 0 0 0 20 0 1 0 191297383 44167168 4006 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 4006 1514 2 0 3195 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16024 KiB

[startup+25.5005 s]
/proc/loadavg: 1.74 0.42 0.14 9/551 330496
/proc/meminfo: memFree=30610976/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43132 memory=16288 CPUtime=24.75 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 2949 0 0 0 2475 0 0 0 20 0 1 0 191297383 44167168 4072 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10783 4072 1514 2 0 3195 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16288 KiB

[startup+51.1255 s]
/proc/loadavg: 2.85 0.78 0.27 9/552 330506
/proc/meminfo: memFree=30608288/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43700 memory=17080 CPUtime=49.74 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3138 0 0 0 4974 0 0 0 20 0 1 0 191297383 44748800 4270 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10925 4270 1514 2 0 3337 0
Current children cumulated CPU time: 49.74 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 17080 KiB

[startup+102.301 s]
/proc/loadavg: 4.37 1.50 0.54 9/553 330516
/proc/meminfo: memFree=30607588/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=17344 CPUtime=99.7 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3188 0 0 0 9970 0 0 0 20 0 1 0 191297383 45047808 4336 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4336 1514 2 0 3410 0
Current children cumulated CPU time: 99.7 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 17344 KiB

[startup+162.301 s]
/proc/loadavg: 4.84 2.16 0.83 9/554 330527
/proc/meminfo: memFree=30607280/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=17344 CPUtime=158.28 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3205 0 0 0 15827 1 0 0 20 0 1 0 191297383 45047808 4336 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4336 1514 2 0 3410 0
Current children cumulated CPU time: 158.28 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 17344 KiB

[startup+222.301 s]
/proc/loadavg: 4.94 2.68 1.09 9/554 330536
/proc/meminfo: memFree=30606052/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=17344 CPUtime=216.85 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3205 0 0 0 21684 1 0 0 20 0 1 0 191297383 45047808 4336 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4336 1514 2 0 3410 0
Current children cumulated CPU time: 216.85 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 17344 KiB

[startup+282.301 s]
/proc/loadavg: 4.98 3.10 1.34 9/554 330547
/proc/meminfo: memFree=30601420/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19140 CPUtime=275.42 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3215 0 0 0 27541 1 0 0 20 0 1 0 191297383 45047808 4785 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4785 1514 2 0 3410 0
Current children cumulated CPU time: 275.42 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19140 KiB

[startup+342.301 s]
/proc/loadavg: 5.00 3.45 1.57 9/551 330556
/proc/meminfo: memFree=30601280/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=333.98 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3227 0 0 0 33397 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 333.98 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+402.301 s]
/proc/loadavg: 5.00 3.74 1.79 9/550 330566
/proc/meminfo: memFree=30601196/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=392.56 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3232 0 0 0 39255 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 392.56 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+462.301 s]
/proc/loadavg: 5.05 3.98 2.00 9/549 330575
/proc/meminfo: memFree=30600920/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=451.13 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3234 0 0 0 45112 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 451.13 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+522.3 s]
/proc/loadavg: 5.02 4.17 2.19 9/549 330585
/proc/meminfo: memFree=30601120/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=509.7 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3236 0 0 0 50969 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 509.7 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+582.301 s]
/proc/loadavg: 5.00 4.32 2.37 9/549 330596
/proc/meminfo: memFree=30599976/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=568.29 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3238 0 0 0 56828 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 568.29 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+642.3 s]
/proc/loadavg: 5.15 4.51 2.55 9/550 330607
/proc/meminfo: memFree=30599840/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=43992 memory=19340 CPUtime=626.87 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3240 0 0 0 62686 1 0 0 20 0 1 0 191297383 45047808 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 10998 4835 1514 2 0 3410 0
Current children cumulated CPU time: 626.87 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19340 KiB

[startup+702.301 s]
/proc/loadavg: 5.09 4.61 2.71 9/550 330616
/proc/meminfo: memFree=30598544/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44128 memory=19340 CPUtime=685.45 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3260 0 0 0 68544 1 0 0 20 0 1 0 191297383 45187072 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11032 4835 1514 2 0 3444 0
Current children cumulated CPU time: 685.45 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 19340 KiB

[startup+762.3 s]
/proc/loadavg: 5.03 4.69 2.86 9/550 330626
/proc/meminfo: memFree=30598252/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44128 memory=19340 CPUtime=744.02 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3262 0 0 0 74401 1 0 0 20 0 1 0 191297383 45187072 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11032 4835 1514 2 0 3444 0
Current children cumulated CPU time: 744.02 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 19340 KiB

[startup+822.3 s]
/proc/loadavg: 5.01 4.75 3.00 9/550 330635
/proc/meminfo: memFree=30598416/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44128 memory=19340 CPUtime=802.59 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3273 0 0 0 80258 1 0 0 20 0 1 0 191297383 45187072 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11032 4835 1514 2 0 3444 0
Current children cumulated CPU time: 802.59 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 19340 KiB

[startup+882.3 s]
/proc/loadavg: 5.00 4.80 3.13 9/551 330646
/proc/meminfo: memFree=30598232/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44128 memory=19340 CPUtime=861.17 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3276 0 0 0 86116 1 0 0 20 0 1 0 191297383 45187072 4835 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11032 4835 1514 2 0 3444 0
Current children cumulated CPU time: 861.17 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 19340 KiB

[startup+942.3 s]
/proc/loadavg: 5.00 4.84 3.25 9/552 330657
/proc/meminfo: memFree=30597908/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44292 memory=19496 CPUtime=919.74 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3301 0 0 0 91973 1 0 0 20 0 1 0 191297383 45355008 4874 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11073 4874 1514 2 0 3485 0
Current children cumulated CPU time: 919.74 s
Current children cumulated vsize: 44292 KiB
Current children cumulated memory: 19496 KiB

[startup+1002.3 s]
/proc/loadavg: 5.00 4.87 3.36 9/552 330672
/proc/meminfo: memFree=30597616/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44292 memory=19496 CPUtime=978.31 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3335 0 0 0 97830 1 0 0 20 0 1 0 191297383 45355008 4874 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11073 4874 1514 2 0 3485 0
Current children cumulated CPU time: 978.31 s
Current children cumulated vsize: 44292 KiB
Current children cumulated memory: 19496 KiB

[startup+1062.3 s]
/proc/loadavg: 5.00 4.89 3.46 9/552 330681
/proc/meminfo: memFree=30597440/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44424 memory=19496 CPUtime=1036.89 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3354 0 0 0 103688 1 0 0 20 0 1 0 191297383 45490176 4874 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11106 4874 1514 2 0 3518 0
Current children cumulated CPU time: 1036.89 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 19496 KiB

[startup+1122.3 s]
/proc/loadavg: 5.46 5.04 3.60 9/552 330691
/proc/meminfo: memFree=30597344/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44424 memory=19744 CPUtime=1095.45 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3356 0 0 0 109544 1 0 0 20 0 1 0 191297383 45490176 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11106 4936 1514 2 0 3518 0
Current children cumulated CPU time: 1095.45 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 19744 KiB

[startup+1182.3 s]
/proc/loadavg: 5.42 5.11 3.72 9/550 330701
/proc/meminfo: memFree=30597104/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44424 memory=19744 CPUtime=1154.02 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3375 0 0 0 115401 1 0 0 20 0 1 0 191297383 45490176 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11106 4936 1514 2 0 3518 0
Current children cumulated CPU time: 1154.02 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 19744 KiB

[startup+1242.3 s]
/proc/loadavg: 5.15 5.08 3.80 9/550 330712
/proc/meminfo: memFree=30596500/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44424 memory=19744 CPUtime=1212.59 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3377 0 0 0 121258 1 0 0 20 0 1 0 191297383 45490176 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11106 4936 1514 2 0 3518 0
Current children cumulated CPU time: 1212.59 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 19744 KiB

[startup+1302.3 s]
/proc/loadavg: 5.05 5.07 3.88 9/549 330733
/proc/meminfo: memFree=30596304/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44424 memory=19744 CPUtime=1271.16 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3381 0 0 0 127115 1 0 0 20 0 1 0 191297383 45490176 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11106 4936 1514 2 0 3518 0
Current children cumulated CPU time: 1271.16 s
Current children cumulated vsize: 44424 KiB
Current children cumulated memory: 19744 KiB

[startup+1362.3 s]
/proc/loadavg: 5.02 5.05 3.95 9/551 330745
/proc/meminfo: memFree=30596148/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44568 memory=19744 CPUtime=1329.72 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3409 0 0 0 132971 1 0 0 20 0 1 0 191297383 45637632 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11142 4936 1514 2 0 3554 0
Current children cumulated CPU time: 1329.72 s
Current children cumulated vsize: 44568 KiB
Current children cumulated memory: 19744 KiB

[startup+1422.3 s]
/proc/loadavg: 5.00 5.04 4.02 9/552 330755
/proc/meminfo: memFree=30595800/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44568 memory=19744 CPUtime=1388.29 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3413 0 0 0 138828 1 0 0 20 0 1 0 191297383 45637632 4936 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11142 4936 1514 2 0 3554 0
Current children cumulated CPU time: 1388.29 s
Current children cumulated vsize: 44568 KiB
Current children cumulated memory: 19744 KiB

[startup+1482.3 s]
/proc/loadavg: 5.00 5.03 4.09 9/552 330764
/proc/meminfo: memFree=30595616/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44568 memory=19952 CPUtime=1446.86 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3423 0 0 0 144685 1 0 0 20 0 1 0 191297383 45637632 4988 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11142 4988 1514 2 0 3554 0
Current children cumulated CPU time: 1446.86 s
Current children cumulated vsize: 44568 KiB
Current children cumulated memory: 19952 KiB

[startup+1542.3 s]
/proc/loadavg: 5.00 5.02 4.15 9/552 330774
/proc/meminfo: memFree=30595480/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19952 CPUtime=1505.44 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3433 0 0 0 150543 1 0 0 20 0 1 0 191297383 45780992 4988 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4988 1514 2 0 3589 0
Current children cumulated CPU time: 1505.44 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19952 KiB

[startup+1602.3 s]
/proc/loadavg: 5.62 5.15 4.25 9/551 330784
/proc/meminfo: memFree=30595220/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19980 CPUtime=1564 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3438 0 0 0 156399 1 0 0 20 0 1 0 191297383 45780992 4995 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4995 1514 2 0 3589 0
Current children cumulated CPU time: 1564 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19980 KiB

[startup+1662.3 s]
/proc/loadavg: 8.20 5.95 4.58 9/550 330794
/proc/meminfo: memFree=30594996/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19980 CPUtime=1622.54 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3456 0 0 0 162253 1 0 0 20 0 1 0 191297383 45780992 4995 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4995 1514 2 0 3589 0
Current children cumulated CPU time: 1622.54 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19980 KiB

[startup+1722.3 s]
/proc/loadavg: 9.27 6.70 4.92 9/549 330804
/proc/meminfo: memFree=30594168/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19980 CPUtime=1681.08 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3459 0 0 0 168107 1 0 0 20 0 1 0 191297383 45780992 4995 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4995 1514 2 0 3589 0
Current children cumulated CPU time: 1681.08 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19980 KiB

[startup+1782.3 s]
/proc/loadavg: 7.25 6.62 5.01 9/549 330814
/proc/meminfo: memFree=30594232/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19980 CPUtime=1739.62 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3462 0 0 0 173961 1 0 0 20 0 1 0 191297383 45780992 4995 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4995 1514 2 0 3589 0
Current children cumulated CPU time: 1739.62 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19980 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.68 6.53 5.02 9/550 330816
/proc/meminfo: memFree=30594180/32713960 swapFree=33554428/33554428
[pid=330484] ppid=330478 vsize=44708 memory=19980 CPUtime=1756.91 cores=0
/proc/330484/stat : 330484 (pigeonPurSampli) R 330478 330484 330439 0 -1 4194304 3462 0 0 0 175690 1 0 0 20 0 1 0 191297383 45780992 4995 18446744073709551615 93872387428352 93872387432464 140732073159584 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 2 0 0 93872389532928 93872389533700 93872418283520 140732073165332 140732073165442 140732073165442 140732073168865 0
/proc/330484/statm: 11177 4995 1514 2 0 3589 0
Current children cumulated CPU time: 1756.91 s
Current children cumulated vsize: 44708 KiB
Current children cumulated memory: 19980 KiB

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

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 330484 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1756.93 s, system=0.012402 s

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

Child status: 1
Real time (s): 1800.05
CPU time (s): 1756.94
CPU user time (s): 1756.93
CPU system time (s): 0.012402
CPU usage (%): 97.6051
Max. virtual memory (cumulated for all children) (KiB): 44708
Max. memory (cumulated for all children) (KiB): 19980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.93
system time used= 0.012402
maximum resident set size= 19980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3464
page faults= 0
swaps= 0
block input operations= 616
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 24985


# summary of solver processes directly reported to runsolver:
#   pid: 330484
#   total CPU time (s): 1756.94
#   total CPU user time (s): 1756.93
#   total CPU system time (s): 0.012402

??? end of timestamper thread
runsolver used 15.1364 second user time and 18.9339 second system time

The end
