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 (14922 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_net70-60-1.shuffled.cnf 

running on 1 cores: 1

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


[startup+0.100207 s]*
/proc/loadavg: 0.05 0.01 0.00 10/550 330492
/proc/meminfo: memFree=30620188/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=0.08 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3035 0 0 0 7 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+0.222207 s]*
/proc/loadavg: 0.05 0.01 0.00 10/550 330492
/proc/meminfo: memFree=30615840/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=0.18 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3036 0 0 0 17 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+0.319232 s]*
/proc/loadavg: 0.05 0.01 0.00 10/550 330492
/proc/meminfo: memFree=30615020/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=0.26 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3036 0 0 0 25 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+0.701206 s]
/proc/loadavg: 0.05 0.01 0.00 10/550 330492
/proc/meminfo: memFree=30613140/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=0.59 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3036 0 0 0 58 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+1.50121 s]
/proc/loadavg: 0.05 0.01 0.00 10/550 330492
/proc/meminfo: memFree=30613132/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=1.37 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3036 0 0 0 136 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+3.11721 s]
/proc/loadavg: 0.05 0.01 0.00 11/550 330492
/proc/meminfo: memFree=30613384/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=2.94 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3037 0 0 0 293 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+6.30021 s]
/proc/loadavg: 0.45 0.10 0.03 11/551 330496
/proc/meminfo: memFree=30612568/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=16788 CPUtime=6.06 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3045 0 0 0 605 1 0 0 20 0 1 0 191297384 45215744 4197 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4197 1505 2 0 3451 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16788 KiB

[startup+12.7002 s]
/proc/loadavg: 0.81 0.18 0.06 11/551 330496
/proc/meminfo: memFree=30611752/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=17052 CPUtime=12.34 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3095 0 0 0 1233 1 0 0 20 0 1 0 191297384 45215744 4263 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4263 1505 2 0 3451 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 17052 KiB

[startup+25.5012 s]
/proc/loadavg: 1.74 0.42 0.14 10/551 330496
/proc/meminfo: memFree=30610976/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44156 memory=17316 CPUtime=24.87 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3205 0 0 0 2486 1 0 0 20 0 1 0 191297384 45215744 4329 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11039 4329 1505 2 0 3451 0
Current children cumulated CPU time: 24.87 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 17316 KiB

[startup+51.1212 s]
/proc/loadavg: 2.85 0.78 0.27 10/552 330506
/proc/meminfo: memFree=30608288/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44320 memory=17580 CPUtime=49.96 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3210 0 0 0 4995 1 0 0 20 0 1 0 191297384 45383680 4395 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11080 4395 1505 2 0 3492 0
Current children cumulated CPU time: 49.96 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 17580 KiB

[startup+102.301 s]
/proc/loadavg: 4.37 1.50 0.54 11/553 330516
/proc/meminfo: memFree=30607588/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44320 memory=17580 CPUtime=100.1 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3210 0 0 0 10009 1 0 0 20 0 1 0 191297384 45383680 4395 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11080 4395 1505 2 0 3492 0
Current children cumulated CPU time: 100.1 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 17580 KiB

[startup+162.3 s]
/proc/loadavg: 4.84 2.16 0.83 10/554 330527
/proc/meminfo: memFree=30607280/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44320 memory=17580 CPUtime=158.87 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3210 0 0 0 15886 1 0 0 20 0 1 0 191297384 45383680 4395 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11080 4395 1505 2 0 3492 0
Current children cumulated CPU time: 158.87 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 17580 KiB

[startup+222.301 s]
/proc/loadavg: 4.94 2.68 1.09 12/554 330536
/proc/meminfo: memFree=30606052/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44320 memory=17580 CPUtime=217.64 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3210 0 0 0 21763 1 0 0 20 0 1 0 191297384 45383680 4395 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11080 4395 1505 2 0 3492 0
Current children cumulated CPU time: 217.64 s
Current children cumulated vsize: 44320 KiB
Current children cumulated memory: 17580 KiB

[startup+282.3 s]
/proc/loadavg: 4.98 3.10 1.34 10/554 330547
/proc/meminfo: memFree=30601420/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44452 memory=19036 CPUtime=276.41 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3285 0 0 0 27640 1 0 0 20 0 1 0 191297384 45518848 4759 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11113 4759 1505 2 0 3525 0
Current children cumulated CPU time: 276.41 s
Current children cumulated vsize: 44452 KiB
Current children cumulated memory: 19036 KiB

[startup+342.3 s]
/proc/loadavg: 5.00 3.45 1.57 12/551 330556
/proc/meminfo: memFree=30601280/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44628 memory=19036 CPUtime=335.16 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3312 0 0 0 33515 1 0 0 20 0 1 0 191297384 45699072 4759 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11157 4759 1505 2 0 3569 0
Current children cumulated CPU time: 335.16 s
Current children cumulated vsize: 44628 KiB
Current children cumulated memory: 19036 KiB

[startup+402.3 s]
/proc/loadavg: 5.00 3.74 1.79 10/550 330566
/proc/meminfo: memFree=30601196/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44628 memory=19036 CPUtime=393.91 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3321 0 0 0 39390 1 0 0 20 0 1 0 191297384 45699072 4759 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11157 4759 1505 2 0 3569 0
Current children cumulated CPU time: 393.91 s
Current children cumulated vsize: 44628 KiB
Current children cumulated memory: 19036 KiB

[startup+462.3 s]
/proc/loadavg: 5.05 3.98 2.00 10/549 330575
/proc/meminfo: memFree=30600920/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44628 memory=19036 CPUtime=452.66 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3324 0 0 0 45265 1 0 0 20 0 1 0 191297384 45699072 4759 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11157 4759 1505 2 0 3569 0
Current children cumulated CPU time: 452.66 s
Current children cumulated vsize: 44628 KiB
Current children cumulated memory: 19036 KiB

[startup+522.3 s]
/proc/loadavg: 5.02 4.17 2.19 10/549 330585
/proc/meminfo: memFree=30601120/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=44628 memory=19036 CPUtime=511.42 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3328 0 0 0 51141 1 0 0 20 0 1 0 191297384 45699072 4759 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11157 4759 1505 2 0 3569 0
Current children cumulated CPU time: 511.42 s
Current children cumulated vsize: 44628 KiB
Current children cumulated memory: 19036 KiB

[startup+582.3 s]
/proc/loadavg: 5.00 4.32 2.37 10/549 330596
/proc/meminfo: memFree=30599976/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45056 memory=19388 CPUtime=570.18 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3464 0 0 0 57017 1 0 0 20 0 1 0 191297384 46137344 4847 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11264 4847 1505 2 0 3676 0
Current children cumulated CPU time: 570.18 s
Current children cumulated vsize: 45056 KiB
Current children cumulated memory: 19388 KiB

[startup+642.3 s]
/proc/loadavg: 5.15 4.51 2.55 10/550 330607
/proc/meminfo: memFree=30599840/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45056 memory=19388 CPUtime=628.94 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3467 0 0 0 62893 1 0 0 20 0 1 0 191297384 46137344 4847 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11264 4847 1505 2 0 3676 0
Current children cumulated CPU time: 628.94 s
Current children cumulated vsize: 45056 KiB
Current children cumulated memory: 19388 KiB

[startup+702.3 s]
/proc/loadavg: 5.09 4.61 2.71 10/550 330616
/proc/meminfo: memFree=30598544/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45056 memory=19388 CPUtime=687.69 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3472 0 0 0 68768 1 0 0 20 0 1 0 191297384 46137344 4847 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11264 4847 1505 2 0 3676 0
Current children cumulated CPU time: 687.69 s
Current children cumulated vsize: 45056 KiB
Current children cumulated memory: 19388 KiB

[startup+762.3 s]
/proc/loadavg: 5.03 4.69 2.86 11/550 330626
/proc/meminfo: memFree=30598252/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45056 memory=19616 CPUtime=746.45 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3477 0 0 0 74644 1 0 0 20 0 1 0 191297384 46137344 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11264 4904 1505 2 0 3676 0
Current children cumulated CPU time: 746.45 s
Current children cumulated vsize: 45056 KiB
Current children cumulated memory: 19616 KiB

[startup+822.3 s]
/proc/loadavg: 5.01 4.75 3.00 10/550 330635
/proc/meminfo: memFree=30598416/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=805.2 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3493 0 0 0 80519 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 805.2 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+882.3 s]
/proc/loadavg: 5.00 4.80 3.13 10/551 330646
/proc/meminfo: memFree=30598232/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=863.96 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3503 0 0 0 86395 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 863.96 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+942.3 s]
/proc/loadavg: 5.00 4.84 3.25 10/552 330657
/proc/meminfo: memFree=30597908/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=922.71 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3508 0 0 0 92270 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 922.71 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+1002.3 s]
/proc/loadavg: 5.00 4.87 3.36 10/552 330672
/proc/meminfo: memFree=30597616/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=981.46 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3511 0 0 0 98145 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 981.46 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+1062.3 s]
/proc/loadavg: 5.00 4.89 3.46 11/552 330681
/proc/meminfo: memFree=30597440/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=1040.21 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3536 0 0 0 104020 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 1040.21 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+1122.3 s]
/proc/loadavg: 5.46 5.04 3.60 10/552 330691
/proc/meminfo: memFree=30597344/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19616 CPUtime=1098.96 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3539 0 0 0 109895 1 0 0 20 0 1 0 191297384 46321664 4904 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4904 1505 2 0 3721 0
Current children cumulated CPU time: 1098.96 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19616 KiB

[startup+1182.3 s]
/proc/loadavg: 5.42 5.11 3.72 10/550 330701
/proc/meminfo: memFree=30597104/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19796 CPUtime=1157.72 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3542 0 0 0 115771 1 0 0 20 0 1 0 191297384 46321664 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4949 1505 2 0 3721 0
Current children cumulated CPU time: 1157.72 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19796 KiB

[startup+1242.3 s]
/proc/loadavg: 5.15 5.08 3.80 10/550 330712
/proc/meminfo: memFree=30596500/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19796 CPUtime=1216.47 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3545 0 0 0 121646 1 0 0 20 0 1 0 191297384 46321664 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4949 1505 2 0 3721 0
Current children cumulated CPU time: 1216.47 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19796 KiB

[startup+1302.3 s]
/proc/loadavg: 5.05 5.07 3.88 10/549 330733
/proc/meminfo: memFree=30596304/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19796 CPUtime=1275.23 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3548 0 0 0 127522 1 0 0 20 0 1 0 191297384 46321664 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4949 1505 2 0 3721 0
Current children cumulated CPU time: 1275.23 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19796 KiB

[startup+1362.3 s]
/proc/loadavg: 5.02 5.05 3.95 10/551 330745
/proc/meminfo: memFree=30596148/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45236 memory=19796 CPUtime=1333.99 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3561 0 0 0 133398 1 0 0 20 0 1 0 191297384 46321664 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11309 4949 1505 2 0 3721 0
Current children cumulated CPU time: 1333.99 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 19796 KiB

[startup+1422.3 s]
/proc/loadavg: 5.00 5.04 4.02 12/552 330755
/proc/meminfo: memFree=30595800/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19796 CPUtime=1392.75 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3577 0 0 0 139274 1 0 0 20 0 1 0 191297384 46477312 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4949 1505 2 0 3759 0
Current children cumulated CPU time: 1392.75 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19796 KiB

[startup+1482.3 s]
/proc/loadavg: 5.00 5.03 4.09 12/552 330764
/proc/meminfo: memFree=30595616/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19796 CPUtime=1451.5 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3580 0 0 0 145149 1 0 0 20 0 1 0 191297384 46477312 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4949 1505 2 0 3759 0
Current children cumulated CPU time: 1451.5 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19796 KiB

[startup+1542.3 s]
/proc/loadavg: 5.00 5.02 4.15 10/552 330774
/proc/meminfo: memFree=30595480/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19796 CPUtime=1510.25 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3583 0 0 0 151024 1 0 0 20 0 1 0 191297384 46477312 4949 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4949 1505 2 0 3759 0
Current children cumulated CPU time: 1510.25 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19796 KiB

[startup+1602.3 s]
/proc/loadavg: 5.62 5.15 4.25 10/551 330784
/proc/meminfo: memFree=30595220/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19824 CPUtime=1569.03 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3589 0 0 0 156902 1 0 0 20 0 1 0 191297384 46477312 4956 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4956 1505 2 0 3759 0
Current children cumulated CPU time: 1569.03 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19824 KiB

[startup+1662.3 s]
/proc/loadavg: 8.20 5.95 4.58 11/550 330794
/proc/meminfo: memFree=30594996/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19824 CPUtime=1627.82 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3603 0 0 0 162781 1 0 0 20 0 1 0 191297384 46477312 4956 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4956 1505 2 0 3759 0
Current children cumulated CPU time: 1627.82 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19824 KiB

[startup+1722.3 s]
/proc/loadavg: 9.27 6.70 4.92 10/549 330804
/proc/meminfo: memFree=30594168/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45388 memory=19960 CPUtime=1686.62 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3607 0 0 0 168661 1 0 0 20 0 1 0 191297384 46477312 4990 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11347 4990 1505 2 0 3759 0
Current children cumulated CPU time: 1686.62 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 19960 KiB

[startup+1782.3 s]
/proc/loadavg: 7.25 6.62 5.01 10/549 330814
/proc/meminfo: memFree=30594232/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45548 memory=19960 CPUtime=1745.42 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3634 0 0 0 174541 1 0 0 20 0 1 0 191297384 46641152 4990 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11387 4990 1505 2 0 3799 0
Current children cumulated CPU time: 1745.42 s
Current children cumulated vsize: 45548 KiB
Current children cumulated memory: 19960 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 6.68 6.53 5.02 11/550 330816
/proc/meminfo: memFree=30594180/32713960 swapFree=33554428/33554428
[pid=330490] ppid=330489 vsize=45548 memory=19960 CPUtime=1762.78 cores=1
/proc/330490/stat : 330490 (pigeonPurSampli) R 330489 330490 330471 0 -1 4194304 3634 0 0 0 176277 1 0 0 20 0 1 0 191297384 46641152 4990 18446744073709551615 94610213875712 94610213879824 140729744179600 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 1 0 0 94610215980288 94610215981060 94610228154368 140729744183828 140729744183938 140729744183938 140729744187361 0
/proc/330490/statm: 11387 4990 1505 2 0 3799 0
Current children cumulated CPU time: 1762.78 s
Current children cumulated vsize: 45548 KiB
Current children cumulated memory: 19960 KiB

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

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 330490 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1762.8 s, system=0.019193 s

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

Child status: 1
Real time (s): 1800.04
CPU time (s): 1762.82
CPU user time (s): 1762.8
CPU system time (s): 0.019193
CPU usage (%): 97.9318
Max. virtual memory (cumulated for all children) (KiB): 45548
Max. memory (cumulated for all children) (KiB): 19960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.8
system time used= 0.019193
maximum resident set size= 19960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3637
page faults= 0
swaps= 0
block input operations= 720
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 26534


# summary of solver processes directly reported to runsolver:
#   pid: 330490
#   total CPU time (s): 1762.82
#   total CPU user time (s): 1762.8
#   total CPU system time (s): 0.019193

??? end of timestamper thread
runsolver used 13.6998 second user time and 17.6257 second system time

The end
