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/dp10u09.shuffled.cnf 

running on 1 cores: 0

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


[startup+0.104352 s]*
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27422152/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=0.07 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2749 0 0 0 7 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+0.216353 s]*
/proc/loadavg: 0.03 0.01 0.00 4/529 1263094
/proc/meminfo: memFree=27419684/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=0.17 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2749 0 0 0 17 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+0.321357 s]*
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27418900/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=0.26 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2749 0 0 0 26 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+0.70032 s]
/proc/loadavg: 0.03 0.01 0.00 5/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=0.58 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2749 0 0 0 58 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+1.50032 s]
/proc/loadavg: 0.03 0.01 0.00 6/529 1263094
/proc/meminfo: memFree=27418104/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=1.36 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2749 0 0 0 136 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+3.12032 s]
/proc/loadavg: 0.27 0.06 0.02 6/529 1263094
/proc/meminfo: memFree=27418220/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=2.94 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2752 0 0 0 294 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+6.30032 s]
/proc/loadavg: 0.27 0.06 0.02 6/529 1263094
/proc/meminfo: memFree=27418384/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=15584 CPUtime=6.05 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2781 0 0 0 605 0 0 0 20 0 1 0 390841363 44167168 3896 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 3896 1469 2 0 3195 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 15584 KiB

[startup+12.7003 s]
/proc/loadavg: 0.49 0.11 0.03 6/529 1263094
/proc/meminfo: memFree=27417152/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=43132 memory=16172 CPUtime=12.31 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 2941 0 0 0 1231 0 0 0 20 0 1 0 390841363 44167168 4043 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 10783 4043 1485 2 0 3195 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 16172 KiB

[startup+25.5004 s]
/proc/loadavg: 1.04 0.25 0.08 6/530 1263095
/proc/meminfo: memFree=27414636/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44284 memory=17228 CPUtime=24.81 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3204 0 0 0 2480 1 0 0 20 0 1 0 390841363 45346816 4307 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11071 4307 1485 2 0 3483 0
Current children cumulated CPU time: 24.81 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 17228 KiB

[startup+51.1213 s]
/proc/loadavg: 1.94 0.52 0.18 6/531 1263106
/proc/meminfo: memFree=27411412/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44284 memory=17492 CPUtime=49.82 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3211 0 0 0 4981 1 0 0 20 0 1 0 390841363 45346816 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11071 4373 1485 2 0 3483 0
Current children cumulated CPU time: 49.82 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 17492 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=1263092] ppid=1263089 vsize=44284 memory=17492 CPUtime=99.81 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3217 0 0 0 9980 1 0 0 20 0 1 0 390841363 45346816 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11071 4373 1485 2 0 3483 0
Current children cumulated CPU time: 99.81 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 17492 KiB

[startup+162.3 s]
/proc/loadavg: 2.83 1.29 0.50 6/531 1263125
/proc/meminfo: memFree=27411000/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44284 memory=17492 CPUtime=158.42 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3230 0 0 0 15841 1 0 0 20 0 1 0 390841363 45346816 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11071 4373 1485 2 0 3483 0
Current children cumulated CPU time: 158.42 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 17492 KiB

[startup+222.3 s]
/proc/loadavg: 2.94 1.61 0.66 6/531 1263134
/proc/meminfo: memFree=27410000/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44284 memory=17492 CPUtime=217.03 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3238 0 0 0 21702 1 0 0 20 0 1 0 390841363 45346816 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11071 4373 1485 2 0 3483 0
Current children cumulated CPU time: 217.03 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 17492 KiB

[startup+282.3 s]
/proc/loadavg: 2.98 1.86 0.80 6/531 1263143
/proc/meminfo: memFree=27410032/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44432 memory=17492 CPUtime=275.64 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3245 0 0 0 27563 1 0 0 20 0 1 0 390841363 45498368 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11108 4373 1485 2 0 3520 0
Current children cumulated CPU time: 275.64 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 17492 KiB

[startup+342.3 s]
/proc/loadavg: 2.99 2.07 0.94 6/529 1263153
/proc/meminfo: memFree=27409796/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44432 memory=17492 CPUtime=334.24 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3252 0 0 0 33423 1 0 0 20 0 1 0 390841363 45498368 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11108 4373 1485 2 0 3520 0
Current children cumulated CPU time: 334.24 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 17492 KiB

[startup+402.3 s]
/proc/loadavg: 3.00 2.24 1.08 6/528 1263162
/proc/meminfo: memFree=27409740/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44432 memory=17492 CPUtime=392.85 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3265 0 0 0 39284 1 0 0 20 0 1 0 390841363 45498368 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11108 4373 1485 2 0 3520 0
Current children cumulated CPU time: 392.85 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 17492 KiB

[startup+462.3 s]
/proc/loadavg: 3.00 2.38 1.20 6/528 1263171
/proc/meminfo: memFree=27409604/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44432 memory=17492 CPUtime=451.47 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3271 0 0 0 45146 1 0 0 20 0 1 0 390841363 45498368 4373 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11108 4373 1485 2 0 3520 0
Current children cumulated CPU time: 451.47 s
Current children cumulated vsize: 44432 KiB
Current children cumulated memory: 17492 KiB

[startup+522.3 s]
/proc/loadavg: 3.00 2.50 1.31 6/528 1263181
/proc/meminfo: memFree=27409332/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44564 memory=17756 CPUtime=510.09 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3278 0 0 0 51008 1 0 0 20 0 1 0 390841363 45633536 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11141 4439 1485 2 0 3553 0
Current children cumulated CPU time: 510.09 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 17756 KiB

[startup+582.3 s]
/proc/loadavg: 4.41 2.95 1.54 6/528 1263190
/proc/meminfo: memFree=27409388/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44564 memory=17756 CPUtime=568.71 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3291 0 0 0 56870 1 0 0 20 0 1 0 390841363 45633536 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11141 4439 1485 2 0 3553 0
Current children cumulated CPU time: 568.71 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 17756 KiB

[startup+642.3 s]
/proc/loadavg: 5.62 3.57 1.85 6/528 1263200
/proc/meminfo: memFree=27409260/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44564 memory=17756 CPUtime=627.33 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3298 0 0 0 62732 1 0 0 20 0 1 0 390841363 45633536 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11141 4439 1485 2 0 3553 0
Current children cumulated CPU time: 627.33 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 17756 KiB

[startup+702.3 s]
/proc/loadavg: 4.54 3.67 1.99 6/529 1263210
/proc/meminfo: memFree=27408496/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44564 memory=17756 CPUtime=685.94 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3305 0 0 0 68593 1 0 0 20 0 1 0 390841363 45633536 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11141 4439 1485 2 0 3553 0
Current children cumulated CPU time: 685.94 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 17756 KiB

[startup+762.3 s]
/proc/loadavg: 3.60 3.56 2.06 6/529 1263220
/proc/meminfo: memFree=27408456/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44696 memory=17756 CPUtime=744.56 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3318 0 0 0 74455 1 0 0 20 0 1 0 390841363 45768704 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11174 4439 1485 2 0 3586 0
Current children cumulated CPU time: 744.56 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17756 KiB

[startup+822.3 s]
/proc/loadavg: 3.22 3.45 2.13 7/529 1263229
/proc/meminfo: memFree=27408432/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44696 memory=17756 CPUtime=803.18 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3325 0 0 0 80317 1 0 0 20 0 1 0 390841363 45768704 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11174 4439 1485 2 0 3586 0
Current children cumulated CPU time: 803.18 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17756 KiB

[startup+882.3 s]
/proc/loadavg: 3.08 3.37 2.18 6/530 1263250
/proc/meminfo: memFree=27408412/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44696 memory=17756 CPUtime=861.78 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3333 0 0 0 86177 1 0 0 20 0 1 0 390841363 45768704 4439 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11174 4439 1485 2 0 3586 0
Current children cumulated CPU time: 861.78 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 17756 KiB

[startup+942.3 s]
/proc/loadavg: 3.03 3.30 2.24 6/530 1263260
/proc/meminfo: memFree=27408428/32713960 swapFree=33554428/33554428
[pid=1263092] ppid=1263089 vsize=44696 memory=18020 CPUtime=920.38 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3340 0 0 0 92037 1 0 0 20 0 1 0 390841363 45768704 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11174 4505 1485 2 0 3586 0
Current children cumulated CPU time: 920.38 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44828 memory=18020 CPUtime=978.99 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3353 0 0 0 97898 1 0 0 20 0 1 0 390841363 45903872 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11207 4505 1485 2 0 3619 0
Current children cumulated CPU time: 978.99 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44828 memory=18020 CPUtime=1037.61 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3359 0 0 0 103760 1 0 0 20 0 1 0 390841363 45903872 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11207 4505 1485 2 0 3619 0
Current children cumulated CPU time: 1037.61 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44828 memory=18020 CPUtime=1096.22 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3365 0 0 0 109620 2 0 0 20 0 1 0 390841363 45903872 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11207 4505 1485 2 0 3619 0
Current children cumulated CPU time: 1096.22 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44828 memory=18020 CPUtime=1154.83 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3374 0 0 0 115481 2 0 0 20 0 1 0 390841363 45903872 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11207 4505 1485 2 0 3619 0
Current children cumulated CPU time: 1154.83 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44968 memory=18020 CPUtime=1213.44 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3397 0 0 0 121342 2 0 0 20 0 1 0 390841363 46047232 4505 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11242 4505 1485 2 0 3654 0
Current children cumulated CPU time: 1213.44 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18020 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=1263092] ppid=1263089 vsize=44968 memory=18216 CPUtime=1272.02 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3423 0 0 0 127200 2 0 0 20 0 1 0 390841363 46047232 4554 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11242 4554 1485 2 0 3654 0
Current children cumulated CPU time: 1272.02 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18216 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=1263092] ppid=1263089 vsize=44968 memory=18216 CPUtime=1330.64 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3436 0 0 0 133062 2 0 0 20 0 1 0 390841363 46047232 4554 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11242 4554 1485 2 0 3654 0
Current children cumulated CPU time: 1330.64 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18216 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=1263092] ppid=1263089 vsize=44968 memory=18216 CPUtime=1389.26 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3446 0 0 0 138924 2 0 0 20 0 1 0 390841363 46047232 4554 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11242 4554 1485 2 0 3654 0
Current children cumulated CPU time: 1389.26 s
Current children cumulated vsize: 44968 KiB
Current children cumulated memory: 18216 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=1263092] ppid=1263089 vsize=45100 memory=18216 CPUtime=1447.87 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3463 0 0 0 144785 2 0 0 20 0 1 0 390841363 46182400 4554 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11275 4554 1485 2 0 3687 0
Current children cumulated CPU time: 1447.87 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 18216 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=1263092] ppid=1263089 vsize=45100 memory=18372 CPUtime=1506.49 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3480 0 0 0 150647 2 0 0 20 0 1 0 390841363 46182400 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11275 4593 1485 2 0 3687 0
Current children cumulated CPU time: 1506.49 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 18372 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=1263092] ppid=1263089 vsize=45100 memory=18372 CPUtime=1565.07 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3489 0 0 0 156505 2 0 0 20 0 1 0 390841363 46182400 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11275 4593 1485 2 0 3687 0
Current children cumulated CPU time: 1565.07 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 18372 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=1263092] ppid=1263089 vsize=45236 memory=18372 CPUtime=1623.7 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3505 0 0 0 162368 2 0 0 20 0 1 0 390841363 46321664 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11309 4593 1485 2 0 3721 0
Current children cumulated CPU time: 1623.7 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 18372 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=1263092] ppid=1263089 vsize=45236 memory=18372 CPUtime=1682.32 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3514 0 0 0 168230 2 0 0 20 0 1 0 390841363 46321664 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11309 4593 1485 2 0 3721 0
Current children cumulated CPU time: 1682.32 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 18372 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=1263092] ppid=1263089 vsize=45236 memory=18372 CPUtime=1740.95 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3517 0 0 0 174093 2 0 0 20 0 1 0 390841363 46321664 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11309 4593 1485 2 0 3721 0
Current children cumulated CPU time: 1740.95 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 18372 KiB
slurmstepd: error: *** JOB 4292 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=1263092] ppid=1263089 vsize=45236 memory=18372 CPUtime=1757.66 cores=0
/proc/1263092/stat : 1263092 (pigeonPurSampli) R 1263089 1263092 1263065 0 -1 4194304 3518 0 0 0 175764 2 0 0 20 0 1 0 390841363 46321664 4593 18446744073709551615 94685904576512 94685904580624 140736173850624 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94685906681088 94685906681860 94685912186880 140736173859315 140736173859413 140736173859413 140736173862881 0
/proc/1263092/statm: 11309 4593 1485 2 0 3721 0
Current children cumulated CPU time: 1757.66 s
Current children cumulated vsize: 45236 KiB
Current children cumulated memory: 18372 KiB

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

[startup+1799.4 s]
# the end of solver process 1263092 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1757.64 s, system=0.026069 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): 1757.67
CPU user time (s): 1757.64
CPU system time (s): 0.026069
CPU usage (%): 97.6809
Max. virtual memory (cumulated for all children) (KiB): 45236
Max. memory (cumulated for all children) (KiB): 18372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.64
system time used= 0.026069
maximum resident set size= 18516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3518
page faults= 0
swaps= 0
block input operations= 600
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 25803


# summary of solver processes directly reported to runsolver:
#   pid: 1263092
#   total CPU time (s): 1757.67
#   total CPU user time (s): 1757.64
#   total CPU system time (s): 0.026069

??? end of timestamper thread
runsolver used 13.9797 second user time and 16.5397 second system time

The end
