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 (13203 MiB free)
  memory of node 1: 16087 MiB (13608 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/biere/dinphil/dp11u10.shuffled.cnf 

running on 1 cores: 2

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


[startup+0.100946 s]*
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27422152/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=0.08 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3055 0 0 0 8 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+0.223945 s]*
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27419684/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=0.18 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3056 0 0 0 18 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+0.320951 s]*
/proc/loadavg: 0.03 0.01 0.00 5/529 1263094
/proc/meminfo: memFree=27418900/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=0.27 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3056 0 0 0 27 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+0.700948 s]
/proc/loadavg: 0.03 0.01 0.00 4/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=0.59 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3056 0 0 0 59 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+1.50095 s]
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=1.37 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3056 0 0 0 137 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+3.12095 s]
/proc/loadavg: 0.27 0.06 0.02 6/529 1263094
/proc/meminfo: memFree=27418220/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16640 CPUtime=2.95 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3056 0 0 0 295 0 0 0 20 0 1 0 390841363 45215744 4160 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4160 1469 2 0 3451 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16640 KiB

[startup+6.30095 s]
/proc/loadavg: 0.27 0.06 0.02 6/529 1263094
/proc/meminfo: memFree=27418384/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=16904 CPUtime=6.06 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3090 0 0 0 606 0 0 0 20 0 1 0 390841363 45215744 4226 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4226 1469 2 0 3451 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 16904 KiB

[startup+12.7009 s]
/proc/loadavg: 0.49 0.11 0.03 6/529 1263094
/proc/meminfo: memFree=27417152/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=44156 memory=17228 CPUtime=12.33 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3159 0 0 0 1233 0 0 0 20 0 1 0 390841363 45215744 4307 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11039 4307 1485 2 0 3451 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 17228 KiB

[startup+25.5009 s]
/proc/loadavg: 1.04 0.25 0.08 6/530 1263095
/proc/meminfo: memFree=27414636/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=45292 memory=18548 CPUtime=24.85 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3474 0 0 0 2485 0 0 0 20 0 1 0 390841363 46379008 4637 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11323 4637 1485 2 0 3735 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 45292 KiB
Current children cumulated memory: 18548 KiB

[startup+51.122 s]
/proc/loadavg: 1.94 0.52 0.18 6/531 1263106
/proc/meminfo: memFree=27411412/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46612 memory=19868 CPUtime=49.92 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3800 0 0 0 4992 0 0 0 20 0 1 0 390841363 47730688 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11653 4967 1485 2 0 4065 0
Current children cumulated CPU time: 49.92 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19868 KiB

[startup+102.301 s]
/proc/loadavg: 2.54 0.91 0.33 6/531 1263115
/proc/meminfo: memFree=27411104/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46612 memory=19868 CPUtime=100 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3800 0 0 0 10000 0 0 0 20 0 1 0 390841363 47730688 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11653 4967 1485 2 0 4065 0
Current children cumulated CPU time: 100 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19868 KiB

[startup+162.301 s]
/proc/loadavg: 2.83 1.29 0.50 6/531 1263125
/proc/meminfo: memFree=27411000/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46612 memory=19868 CPUtime=158.7 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3807 0 0 0 15870 0 0 0 20 0 1 0 390841363 47730688 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11653 4967 1485 2 0 4065 0
Current children cumulated CPU time: 158.7 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19868 KiB

[startup+222.301 s]
/proc/loadavg: 2.94 1.61 0.66 6/531 1263134
/proc/meminfo: memFree=27410000/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46612 memory=19868 CPUtime=217.41 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3815 0 0 0 21741 0 0 0 20 0 1 0 390841363 47730688 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11653 4967 1485 2 0 4065 0
Current children cumulated CPU time: 217.41 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19868 KiB

[startup+282.301 s]
/proc/loadavg: 2.98 1.86 0.80 6/531 1263143
/proc/meminfo: memFree=27410032/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46612 memory=19868 CPUtime=276.11 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3832 0 0 0 27611 0 0 0 20 0 1 0 390841363 47730688 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11653 4967 1485 2 0 4065 0
Current children cumulated CPU time: 276.11 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19868 KiB

[startup+342.301 s]
/proc/loadavg: 2.99 2.07 0.94 6/529 1263153
/proc/meminfo: memFree=27409796/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=19868 CPUtime=334.82 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3838 0 0 0 33482 0 0 0 20 0 1 0 390841363 47865856 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 4967 1485 2 0 4098 0
Current children cumulated CPU time: 334.82 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 19868 KiB

[startup+402.301 s]
/proc/loadavg: 3.00 2.24 1.08 6/528 1263162
/proc/meminfo: memFree=27409740/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=19868 CPUtime=393.54 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3838 0 0 0 39354 0 0 0 20 0 1 0 390841363 47865856 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 4967 1485 2 0 4098 0
Current children cumulated CPU time: 393.54 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 19868 KiB

[startup+462.301 s]
/proc/loadavg: 3.00 2.38 1.20 6/528 1263171
/proc/meminfo: memFree=27409604/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=19868 CPUtime=452.26 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3854 0 0 0 45226 0 0 0 20 0 1 0 390841363 47865856 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 4967 1485 2 0 4098 0
Current children cumulated CPU time: 452.26 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 19868 KiB

[startup+522.301 s]
/proc/loadavg: 3.00 2.50 1.31 6/528 1263181
/proc/meminfo: memFree=27409332/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=19868 CPUtime=510.98 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3862 0 0 0 51098 0 0 0 20 0 1 0 390841363 47865856 4967 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 4967 1485 2 0 4098 0
Current children cumulated CPU time: 510.98 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 19868 KiB

[startup+582.301 s]
/proc/loadavg: 4.41 2.95 1.54 6/528 1263190
/proc/meminfo: memFree=27409388/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=20132 CPUtime=569.69 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3870 0 0 0 56969 0 0 0 20 0 1 0 390841363 47865856 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 5033 1485 2 0 4098 0
Current children cumulated CPU time: 569.69 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 20132 KiB

[startup+642.301 s]
/proc/loadavg: 5.62 3.57 1.85 6/528 1263200
/proc/meminfo: memFree=27409260/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46744 memory=20132 CPUtime=628.41 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3870 0 0 0 62841 0 0 0 20 0 1 0 390841363 47865856 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11686 5033 1485 2 0 4098 0
Current children cumulated CPU time: 628.41 s
Current children cumulated vsize: 46744 KiB
Current children cumulated memory: 20132 KiB

[startup+702.301 s]
/proc/loadavg: 4.54 3.67 1.99 6/529 1263210
/proc/meminfo: memFree=27408496/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=687.13 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3878 0 0 0 68713 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 687.13 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+762.301 s]
/proc/loadavg: 3.60 3.56 2.06 6/529 1263220
/proc/meminfo: memFree=27408456/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=745.84 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3885 0 0 0 74584 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 745.84 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+822.301 s]
/proc/loadavg: 3.22 3.45 2.13 7/529 1263229
/proc/meminfo: memFree=27408432/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=804.56 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3893 0 0 0 80456 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 804.56 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+882.301 s]
/proc/loadavg: 3.08 3.37 2.18 6/530 1263250
/proc/meminfo: memFree=27408412/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=863.27 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3893 0 0 0 86327 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 863.27 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+942.301 s]
/proc/loadavg: 3.03 3.30 2.24 6/530 1263260
/proc/meminfo: memFree=27408428/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=921.98 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3901 0 0 0 92198 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 921.98 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+1002.3 s]
/proc/loadavg: 3.22 3.30 2.31 6/530 1263269
/proc/meminfo: memFree=27408336/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=980.69 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3909 0 0 0 98069 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 980.69 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+1062.3 s]
/proc/loadavg: 3.08 3.25 2.36 6/529 1263278
/proc/meminfo: memFree=27408420/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=1039.4 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3909 0 0 0 103940 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 1039.4 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+1122.3 s]
/proc/loadavg: 3.11 3.22 2.40 6/529 1263288
/proc/meminfo: memFree=27408452/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=46900 memory=20132 CPUtime=1098.12 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3909 0 0 0 109812 0 0 0 20 0 1 0 390841363 48025600 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11725 5033 1485 2 0 4137 0
Current children cumulated CPU time: 1098.12 s
Current children cumulated vsize: 46900 KiB
Current children cumulated memory: 20132 KiB

[startup+1182.3 s]
/proc/loadavg: 3.24 3.24 2.46 6/528 1263297
/proc/meminfo: memFree=27408264/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=20132 CPUtime=1156.83 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3916 0 0 0 115683 0 0 0 20 0 1 0 390841363 48181248 5033 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5033 1485 2 0 4175 0
Current children cumulated CPU time: 1156.83 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 20132 KiB

[startup+1242.3 s]
/proc/loadavg: 3.09 3.19 2.50 6/531 1263316
/proc/meminfo: memFree=27405208/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=21280 CPUtime=1215.55 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3944 0 0 0 121555 0 0 0 20 0 1 0 390841363 48181248 5320 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5320 1485 2 0 4175 0
Current children cumulated CPU time: 1215.55 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21280 KiB

[startup+1302.3 s]
/proc/loadavg: 3.03 3.15 2.53 6/531 1263329
/proc/meminfo: memFree=27406764/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=21280 CPUtime=1274.27 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3968 0 0 0 127427 0 0 0 20 0 1 0 390841363 48181248 5320 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5320 1485 2 0 4175 0
Current children cumulated CPU time: 1274.27 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21280 KiB

[startup+1362.3 s]
/proc/loadavg: 3.07 3.14 2.57 6/531 1263339
/proc/meminfo: memFree=27406884/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=21280 CPUtime=1332.98 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3984 0 0 0 133298 0 0 0 20 0 1 0 390841363 48181248 5320 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5320 1485 2 0 4175 0
Current children cumulated CPU time: 1332.98 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21280 KiB

[startup+1422.3 s]
/proc/loadavg: 3.02 3.11 2.60 6/531 1263348
/proc/meminfo: memFree=27406940/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=21280 CPUtime=1391.69 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 3988 0 0 0 139169 0 0 0 20 0 1 0 390841363 48181248 5320 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5320 1485 2 0 4175 0
Current children cumulated CPU time: 1391.69 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21280 KiB

[startup+1482.3 s]
/proc/loadavg: 3.01 3.09 2.63 6/531 1263357
/proc/meminfo: memFree=27406932/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47052 memory=21364 CPUtime=1450.41 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4000 0 0 0 145041 0 0 0 20 0 1 0 390841363 48181248 5341 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11763 5341 1485 2 0 4175 0
Current children cumulated CPU time: 1450.41 s
Current children cumulated vsize: 47052 KiB
Current children cumulated memory: 21364 KiB

[startup+1542.3 s]
/proc/loadavg: 3.08 3.09 2.66 6/532 1263368
/proc/meminfo: memFree=27406836/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47208 memory=21364 CPUtime=1509.12 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4020 0 0 0 150912 0 0 0 20 0 1 0 390841363 48340992 5341 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11802 5341 1485 2 0 4214 0
Current children cumulated CPU time: 1509.12 s
Current children cumulated vsize: 47208 KiB
Current children cumulated memory: 21364 KiB

[startup+1602.3 s]
/proc/loadavg: 3.14 3.11 2.70 6/529 1263378
/proc/meminfo: memFree=27406812/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47208 memory=21364 CPUtime=1567.84 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4039 0 0 0 156784 0 0 0 20 0 1 0 390841363 48340992 5341 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11802 5341 1485 2 0 4214 0
Current children cumulated CPU time: 1567.84 s
Current children cumulated vsize: 47208 KiB
Current children cumulated memory: 21364 KiB

[startup+1662.3 s]
/proc/loadavg: 3.05 3.09 2.72 6/529 1263387
/proc/meminfo: memFree=27406736/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47208 memory=21364 CPUtime=1626.56 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4043 0 0 0 162656 0 0 0 20 0 1 0 390841363 48340992 5341 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11802 5341 1485 2 0 4214 0
Current children cumulated CPU time: 1626.56 s
Current children cumulated vsize: 47208 KiB
Current children cumulated memory: 21364 KiB

[startup+1722.3 s]
/proc/loadavg: 3.02 3.07 2.74 6/529 1263400
/proc/meminfo: memFree=27406164/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47208 memory=21364 CPUtime=1685.28 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4054 0 0 0 168528 0 0 0 20 0 1 0 390841363 48340992 5341 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11802 5341 1485 2 0 4214 0
Current children cumulated CPU time: 1685.28 s
Current children cumulated vsize: 47208 KiB
Current children cumulated memory: 21364 KiB

[startup+1782.3 s]
/proc/loadavg: 3.00 3.05 2.76 6/529 1263409
/proc/meminfo: memFree=27406204/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47356 memory=21548 CPUtime=1744 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4065 0 0 0 174400 0 0 0 20 0 1 0 390841363 48492544 5387 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11839 5387 1485 2 0 4251 0
Current children cumulated CPU time: 1744 s
Current children cumulated vsize: 47356 KiB
Current children cumulated memory: 21548 KiB
slurmstepd: error: *** JOB 4293 ON node130 CANCELLED AT 2021-07-15T10:17:08 DUE TO TIME LIMIT ***

Detected pigeons:



Received SIGTERM or SIGINT, killing child

[startup+1799.4 s]
/proc/loadavg: 3.00 3.05 2.77 6/528 1263410
/proc/meminfo: memFree=27406200/32713960 swapFree=33554428/33554428
[pid=1263090] ppid=1263088 vsize=47356 memory=21548 CPUtime=1760.74 cores=2
/proc/1263090/stat : 1263090 (pigeonPurSampli) R 1263088 1263090 1263072 0 -1 4194304 4070 0 0 0 176074 0 0 0 20 0 1 0 390841363 48492544 5387 18446744073709551615 93996765585408 93996765589520 140724264909248 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 93996767689984 93996767690756 93996799762432 140724264915443 140724264915541 140724264915541 140724264919009 0
/proc/1263090/statm: 11839 5387 1485 2 0 4251 0
Current children cumulated CPU time: 1760.74 s
Current children cumulated vsize: 47356 KiB
Current children cumulated memory: 21548 KiB

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

[startup+1799.4 s]
# the end of solver process 1263090 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1760.74 s, system=0.010761 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1799.4
CPU time (s): 1760.75
CPU user time (s): 1760.74
CPU system time (s): 0.010761
CPU usage (%): 97.852
Max. virtual memory (cumulated for all children) (KiB): 47356
Max. memory (cumulated for all children) (KiB): 21548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1760.74
system time used= 0.010761
maximum resident set size= 21560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4070
page faults= 0
swaps= 0
block input operations= 728
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 25135


# summary of solver processes directly reported to runsolver:
#   pid: 1263090
#   total CPU time (s): 1760.75
#   total CPU user time (s): 1760.74
#   total CPU system time (s): 0.010761

??? end of timestamper thread
runsolver used 13.9682 second user time and 16.1989 second system time

The end
