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

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

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

command line: runsolver -W 1800 /home/blomme/pigeonsPurs/pigeonPur.py /home/blomme/pigeonsPurs/benchmarks/QG/qg3-09.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=1226226, runsolver pid=1226225

[startup+0.100162 s]*
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24232376/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=42356 memory=17528 CPUtime=0.1 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3231 0 0 0 10 0 0 0 20 0 1 0 412755215 43372544 4382 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10589 4382 1497 2 0 3001 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42356 KiB
Current children cumulated memory: 17528 KiB

[startup+0.216801 s]*
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24230696/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=42612 memory=17800 CPUtime=0.22 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3331 0 0 0 22 0 0 0 20 0 1 0 412755215 43634688 4450 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10653 4450 1497 2 0 3065 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 17800 KiB

[startup+0.314606 s]*
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24230696/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=42612 memory=17800 CPUtime=0.31 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3331 0 0 0 31 0 0 0 20 0 1 0 412755215 43634688 4450 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10653 4450 1497 2 0 3065 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 17800 KiB

[startup+0.700303 s]
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24230424/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=42612 memory=17800 CPUtime=0.68 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3332 0 0 0 68 0 0 0 20 0 1 0 412755215 43634688 4450 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10653 4450 1497 2 0 3065 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 17800 KiB

[startup+1.50032 s]
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24230424/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=42612 memory=17800 CPUtime=1.48 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3332 0 0 0 148 0 0 0 20 0 1 0 412755215 43634688 4450 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10653 4450 1497 2 0 3065 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42612 KiB
Current children cumulated memory: 17800 KiB

[startup+3.11354 s]
/proc/loadavg: 0.03 0.47 0.78 2/427 1226228
/proc/meminfo: memFree=24229972/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43124 memory=18324 CPUtime=3.09 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3458 0 0 0 309 0 0 0 20 0 1 0 412755215 44158976 4581 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10781 4581 1497 2 0 3193 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43124 KiB
Current children cumulated memory: 18324 KiB

[startup+6.30023 s]
/proc/loadavg: 0.11 0.48 0.78 2/427 1226228
/proc/meminfo: memFree=24229404/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=6.27 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 627 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+12.7003 s]
/proc/loadavg: 0.18 0.49 0.78 2/427 1226228
/proc/meminfo: memFree=24229412/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=12.64 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 1264 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+25.5003 s]
/proc/loadavg: 0.36 0.52 0.78 2/427 1226236
/proc/meminfo: memFree=24229308/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=25.4 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 2540 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+51.1133 s]
/proc/loadavg: 0.58 0.56 0.79 2/426 1226237
/proc/meminfo: memFree=24229176/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=50.92 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 5092 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+102.3 s]
/proc/loadavg: 0.82 0.63 0.81 2/426 1226256
/proc/meminfo: memFree=24228524/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=101.93 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 10193 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+162.3 s]
/proc/loadavg: 0.94 0.70 0.82 2/426 1226266
/proc/meminfo: memFree=24228672/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=161.73 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3482 0 0 0 16173 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+222.3 s]
/proc/loadavg: 1.03 0.77 0.84 2/425 1226275
/proc/meminfo: memFree=24228480/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=221.52 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3498 0 0 0 22152 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+282.3 s]
/proc/loadavg: 1.01 0.82 0.85 2/425 1226284
/proc/meminfo: memFree=24228668/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=281.31 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3506 0 0 0 28131 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+342.3 s]
/proc/loadavg: 1.00 0.85 0.86 2/424 1226293
/proc/meminfo: memFree=24228668/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=341.1 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3509 0 0 0 34110 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+402.3 s]
/proc/loadavg: 1.00 0.88 0.87 2/424 1226303
/proc/meminfo: memFree=24228736/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=400.89 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3513 0 0 0 40089 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+462.3 s]
/proc/loadavg: 1.00 0.91 0.89 2/424 1226312
/proc/meminfo: memFree=24228752/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=460.69 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3515 0 0 0 46069 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 460.69 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+522.3 s]
/proc/loadavg: 1.00 0.93 0.90 2/424 1226322
/proc/meminfo: memFree=24228836/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=520.48 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3517 0 0 0 52048 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 520.48 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+582.3 s]
/proc/loadavg: 1.00 0.94 0.91 3/425 1226333
/proc/meminfo: memFree=24228956/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=580.27 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3519 0 0 0 58027 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+642.3 s]
/proc/loadavg: 1.00 0.95 0.91 2/425 1226342
/proc/meminfo: memFree=24228936/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=640.06 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3521 0 0 0 64006 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 640.06 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+702.3 s]
/proc/loadavg: 1.00 0.97 0.92 2/425 1226351
/proc/meminfo: memFree=24228744/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=699.85 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3523 0 0 0 69985 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 699.85 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+762.3 s]
/proc/loadavg: 1.00 0.97 0.93 2/425 1226361
/proc/meminfo: memFree=24228836/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=759.65 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3525 0 0 0 75965 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 759.65 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+822.3 s]
/proc/loadavg: 1.00 0.98 0.93 2/425 1226370
/proc/meminfo: memFree=24228808/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=819.44 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3527 0 0 0 81944 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 819.44 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+882.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/425 1226379
/proc/meminfo: memFree=24228772/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18588 CPUtime=879.22 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3529 0 0 0 87922 0 0 0 20 0 1 0 412755215 44421120 4647 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4647 1497 2 0 3257 0
Current children cumulated CPU time: 879.22 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18588 KiB

[startup+942.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/424 1226388
/proc/meminfo: memFree=24228804/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=938.89 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3835 0 0 0 93889 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 938.89 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/424 1226398
/proc/meminfo: memFree=24228836/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=998.56 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3856 0 0 0 99856 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 998.56 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/424 1226407
/proc/meminfo: memFree=24228868/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1058.23 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 3864 0 0 0 105823 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1058.23 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/424 1226417
/proc/meminfo: memFree=24228848/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1117.98 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4458 0 0 0 111798 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1117.98 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/426 1226429
/proc/meminfo: memFree=24228884/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1177.78 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4495 0 0 0 117778 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1177.78 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/426 1226438
/proc/meminfo: memFree=24228896/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1237.57 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4516 0 0 0 123757 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1237.57 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/426 1226447
/proc/meminfo: memFree=24228988/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1297.37 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4520 0 0 0 129737 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1297.37 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/426 1226458
/proc/meminfo: memFree=24228984/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1357.17 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4529 0 0 0 135717 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1357.17 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/426 1226467
/proc/meminfo: memFree=24228612/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1416.97 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4531 0 0 0 141697 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1416.97 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/426 1226477
/proc/meminfo: memFree=24228500/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1476.76 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4533 0 0 0 147676 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1476.76 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1226486
/proc/meminfo: memFree=24228524/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1536.56 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4536 0 0 0 153656 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1536.56 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/425 1226496
/proc/meminfo: memFree=24228448/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1596.36 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4538 0 0 0 159636 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1596.36 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/427 1226510
/proc/meminfo: memFree=24228144/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1656.16 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4540 0 0 0 165616 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1656.16 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/427 1226520
/proc/meminfo: memFree=24228448/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1715.95 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4548 0 0 0 171595 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1715.95 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/426 1226530
/proc/meminfo: memFree=24228584/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1775.75 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4551 0 0 0 177575 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1775.75 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 1.00 1.00 1.00 2/426 1226530
/proc/meminfo: memFree=24228592/32713960 swapFree=33554428/33554428
[pid=1226226] ppid=1226225 vsize=43380 memory=18612 CPUtime=1793.4 cores=0-7
/proc/1226226/stat : 1226226 (pigeonPur.py) R 1226225 1226226 1224781 34816 1226225 4194304 4551 0 0 0 179340 0 0 0 20 0 1 0 412755215 44421120 4653 18446744073709551615 94137350864896 94137350869008 140727510140400 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94137352969472 94137352970244 94137356386304 140727510144261 140727510144366 140727510144366 140727510147026 0
/proc/1226226/statm: 10845 4653 1497 2 0 3257 0
Current children cumulated CPU time: 1793.4 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 18612 KiB

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

Detected pigeons:

[startup+1800.02 s]
# the end of solver process 1226226 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1793.42 s, system=0.012944 s

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

Child status: 1
Real time (s): 1800.02
CPU time (s): 1793.43
CPU user time (s): 1793.42
CPU system time (s): 0.012944
CPU usage (%): 99.6336
Max. virtual memory (cumulated for all children) (KiB): 43380
Max. memory (cumulated for all children) (KiB): 18612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 0.012944
maximum resident set size= 18612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 7293


# summary of solver processes directly reported to runsolver:
#   pid: 1226226
#   total CPU time (s): 1793.43
#   total CPU user time (s): 1793.42
#   total CPU system time (s): 0.012944

??? end of timestamper thread
runsolver used 12.186 second user time and 12.8044 second system time

The end
